Add -skip_constraints to type-check without constraints

1 files changed, 3 insertions, 0 deletions

diff --git a/src/main.ml b/src/main.ml
index 639da7d7..b0957f91 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -372,6 +372,9 @@ let options = Arg.align ([
   ( "-lem_ast",
     Arg.Unit (fun b -> opt_print_lem := true),
     " pretty-print a Lem AST representation of the file");
+  ( "-skip_constraints",
+    Arg.Clear Type_internal.do_resolve_constraints,
+    " skip constraint resolution in type-checking");
   ( "-v",
     Arg.Unit (fun b -> opt_print_version := true),
     " print version");