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