diff options
| -rw-r--r-- | scripts/spidermonkify.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 9851f6d25..8dde4c284 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -44,8 +44,6 @@ os.remove(temp) # fix up wast wast = open(wast_target).read() -# tableswitch => br_table -wast = wast.replace('(tableswitch', '(br_table') # memory to page sizes PAGE_SIZE = 64 * 1024 memory_start = wast.find('(memory') + 1 |