Remove WabtAllocator (#307)

It complicates the code everywhere. It's faster to use a stack
allocator, but not worth the trouble for maintainability.

1 files changed, 0 insertions, 2 deletions

diff --git a/test/run-wasm-link.py b/test/run-wasm-link.py
index d95f6dfe..39b4d675 100755
--- a/test/run-wasm-link.py
+++ b/test/run-wasm-link.py
@@ -50,7 +50,6 @@ def main(args):
   parser.add_argument('--debug-names', action='store_true')
   parser.add_argument('--dump-verbose', action='store_true')
   parser.add_argument('--spec', action='store_true')
-  parser.add_argument('--use-libc-allocator', action='store_true')
   parser.add_argument('file', help='test file.')
   options = parser.parse_args(args)
 
@@ -59,7 +58,6 @@ def main(args):
       error_cmdline=options.error_cmdline)
   wast2wasm.AppendOptionalArgs({
       '--debug-names': options.debug_names,
-      '--use-libc-allocator': options.use_libc_allocator,
       '-v': options.dump_verbose,
   })