diff options
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 3 |
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"); |