diff options
Diffstat (limited to 'scripts/gen-s-parser.py')
| -rwxr-xr-x | scripts/gen-s-parser.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index 53b04e563..c7f0a51c8 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -470,7 +470,6 @@ instructions = [ # exception handling instructions ("try", "makeTry(s)"), ("throw", "makeThrow(s)"), - ("catch", "makeCatch(s)"), ("rethrow", "makeRethrow(s)"), ("br_on_exn", "makeBrOnExn(s)") ] |