Index: src/objects.h |
diff --git a/src/objects.h b/src/objects.h |
index 657d2452a97e7aab925f66df65f54c612504c21b..7f0f339001eb94655b1dfdd595e14dd76d9f4ce1 100644 |
--- a/src/objects.h |
+++ b/src/objects.h |
@@ -2297,7 +2297,8 @@ class JSObject: public JSReceiver { |
Object* GetHiddenProperty(Name* key); |
// Deletes a hidden property. Deleting a non-existing property is |
// considered successful. |
- void DeleteHiddenProperty(Name* key); |
+ static void DeleteHiddenProperty(Handle<JSObject> object, |
+ Handle<Name> key); |
// Returns true if the object has a property with the hidden string as name. |
bool HasHiddenProperties(); |