| Index: src/objects.h | 
| diff --git a/src/objects.h b/src/objects.h | 
| index 9f2651c40f7985fe6bab498f7dd8a34c16554150..f7e6e0b10745ad7664ba288223e5f632042233a6 100644 | 
| --- a/src/objects.h | 
| +++ b/src/objects.h | 
| @@ -3769,6 +3769,8 @@ class UnseededNumberDictionary | 
| Handle<UnseededNumberDictionary> dictionary, | 
| uint32_t key, | 
| Handle<Object> value); | 
| +  static Handle<UnseededNumberDictionary> DeleteKey( | 
| +      Handle<UnseededNumberDictionary> dictionary, uint32_t key); | 
|  | 
| // Set an existing entry or add a new one if needed. | 
| // Return the updated dictionary. | 
|  |