| 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",
|
|
|