diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen-s-parser.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index e4cd642ca..2fd663510 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -564,7 +564,8 @@ instructions = [ ("call_ref", "makeCallRef(s, /*isReturn=*/false)"), ("return_call_ref", "makeCallRef(s, /*isReturn=*/true)"), # GC - ("i31.new", "makeRefI31(s)"), + ("i31.new", "makeRefI31(s)"), # deprecated + ("ref.i31", "makeRefI31(s)"), ("i31.get_s", "makeI31Get(s, true)"), ("i31.get_u", "makeI31Get(s, false)"), ("ref.test", "makeRefTest(s)"), |