Index: tools/grokdump.py |
diff --git a/tools/grokdump.py b/tools/grokdump.py |
index ccdc4b379ed6a67ce3b92aa98ef07aedc5ddd70e..9719376d7f4e559d06f0cb14138273bdcce46b38 100755 |
--- a/tools/grokdump.py |
+++ b/tools/grokdump.py |
@@ -918,8 +918,9 @@ INSTANCE_TYPES = { |
180: "JS_ARRAY_TYPE", |
171: "JS_PROXY_TYPE", |
183: "JS_WEAK_MAP_TYPE", |
- 184: "JS_REGEXP_TYPE", |
- 185: "JS_FUNCTION_TYPE", |
+ 184: "JS_WEAK_SET_TYPE", |
+ 185: "JS_REGEXP_TYPE", |
+ 186: "JS_FUNCTION_TYPE", |
170: "JS_FUNCTION_PROXY_TYPE", |
165: "DEBUG_INFO_TYPE", |
166: "BREAK_POINT_INFO_TYPE", |