| Index: src/objects.h
 | 
| diff --git a/src/objects.h b/src/objects.h
 | 
| index 401ce404ac31d06e275a0fa7eaa5e57b883ff5b7..038ead43463e712761c677e5bfb109637a8f3a44 100644
 | 
| --- a/src/objects.h
 | 
| +++ b/src/objects.h
 | 
| @@ -2222,22 +2222,22 @@ class JSObject: public JSReceiver {
 | 
|        Handle<JSObject> object,
 | 
|        Handle<JSObject> receiver,
 | 
|        Handle<Name> name,
 | 
| -      bool continue_search);
 | 
| +      bool check_prototype);
 | 
|    static PropertyAttributes GetPropertyAttributeWithInterceptor(
 | 
|        Handle<JSObject> object,
 | 
|        Handle<JSObject> receiver,
 | 
|        Handle<Name> name,
 | 
| -      bool continue_search);
 | 
| +      bool check_prototype);
 | 
|    static PropertyAttributes GetPropertyAttributeWithFailedAccessCheck(
 | 
|        Handle<JSObject> object,
 | 
|        LookupResult* result,
 | 
|        Handle<Name> name,
 | 
| -      bool continue_search);
 | 
| +      bool check_prototype);
 | 
|    static PropertyAttributes GetElementAttributeWithReceiver(
 | 
|        Handle<JSObject> object,
 | 
|        Handle<JSReceiver> receiver,
 | 
|        uint32_t index,
 | 
| -      bool continue_search);
 | 
| +      bool check_prototype);
 | 
|  
 | 
|    // Retrieves an AccessorPair property from the given object. Might return
 | 
|    // undefined if the property doesn't exist or is of a different kind.
 | 
| 
 |