diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index 4e76551f..343a677c 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -86,6 +86,9 @@ let options = Arg.align ([ ( "-skip_constraints", Arg.Clear Type_internal.do_resolve_constraints, " (debug) skip constraint resolution in type-checking"); + ( "-new_typecheck", + Arg.Set opt_new_typecheck, + " use new typechecker with Z3 constraint solving (experimental)"); ( "-v", Arg.Set opt_print_version, " print version"); |