| Index: src/objects.h | 
| diff --git a/src/objects.h b/src/objects.h | 
| index 8e64fe38da799f8c772a11ccda4977442703d94f..f8db36600174d7e1c2f147f316368dac3afbf7fb 100644 | 
| --- a/src/objects.h | 
| +++ b/src/objects.h | 
| @@ -3448,24 +3448,19 @@ class SeededNumberDictionary | 
|  | 
| // Type specific at put (default NONE attributes is used when adding). | 
| MUST_USE_RESULT static Handle<SeededNumberDictionary> AtNumberPut( | 
| -      Handle<SeededNumberDictionary> dictionary, | 
| -      uint32_t key, | 
| -      Handle<Object> value); | 
| +      Handle<SeededNumberDictionary> dictionary, uint32_t key, | 
| +      Handle<Object> value, bool used_as_prototype); | 
| MUST_USE_RESULT static Handle<SeededNumberDictionary> AddNumberEntry( | 
| -      Handle<SeededNumberDictionary> dictionary, | 
| -      uint32_t key, | 
| -      Handle<Object> value, | 
| -      PropertyDetails details); | 
| +      Handle<SeededNumberDictionary> dictionary, uint32_t key, | 
| +      Handle<Object> value, PropertyDetails details, bool used_as_prototype); | 
|  | 
| // Set an existing entry or add a new one if needed. | 
| // Return the updated dictionary. | 
| MUST_USE_RESULT static Handle<SeededNumberDictionary> Set( | 
| -      Handle<SeededNumberDictionary> dictionary, | 
| -      uint32_t key, | 
| -      Handle<Object> value, | 
| -      PropertyDetails details); | 
| +      Handle<SeededNumberDictionary> dictionary, uint32_t key, | 
| +      Handle<Object> value, PropertyDetails details, bool used_as_prototype); | 
|  | 
| -  void UpdateMaxNumberKey(uint32_t key); | 
| +  void UpdateMaxNumberKey(uint32_t key, bool used_as_prototype); | 
|  | 
| // If slow elements are required we will never go back to fast-case | 
| // for the elements kept in this dictionary.  We require slow | 
|  |