Index: src/factory.h |
diff --git a/src/factory.h b/src/factory.h |
index 34311368610d40164821d62d7b76c9c06389dac3..3c8a149422c650cf32f0c5dda9c66c03a0c89f4e 100644 |
--- a/src/factory.h |
+++ b/src/factory.h |
@@ -437,6 +437,12 @@ class Factory { |
uint32_t key, |
Handle<Object> value); |
+ |
+ Handle<NotSeededNumberDictionary> NotSeededDictionaryAtNumberPut( |
+ Handle<NotSeededNumberDictionary>, |
+ uint32_t key, |
+ Handle<Object> value); |
+ |
#ifdef ENABLE_DEBUGGER_SUPPORT |
Handle<DebugInfo> NewDebugInfo(Handle<SharedFunctionInfo> shared); |
#endif |