| 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();
|
|
|
|
|