--- src/Driver.ml.orig	2021-01-18 16:45:56.000000000 -0700
+++ src/Driver.ml	2021-01-18 16:46:28.000000000 -0700
@@ -349,8 +349,7 @@
   else
     let args =
       "--odir" :: !Options.tmpdir ::
-      "--codegen" :: "krml" ::
-      "--lax" :: args
+      "--codegen" :: "krml" :: args
     in
     flush stdout;
     maybe_create_output_dir ();