1 files changed, 1 insertions, 1 deletions
diff --git a/check.py b/check.py
index 7be44e63b..e3c7e0c15 100755
--- a/check.py
+++ b/check.py
@@ -99,7 +99,7 @@ for asm in tests:
         cmd = ASM2WASM + [os.path.join(options.binaryen_test, asm)]
         wasm = asm.replace('.asm.js', '.fromasm')
         if not precise:
-          cmd += ['--imprecise']
+          cmd += ['--imprecise', '--ignore-implicit-traps']
           wasm += '.imprecise'
         if not opts:
           wasm += '.no-opts'