| 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.
|
|
|