diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sail.ml b/src/sail.ml index 2632f9a4..65473d86 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -164,9 +164,9 @@ let options = Arg.align ([ ( "-mono_rewrites", Arg.Set Process_file.opt_mono_rewrites, " turn on rewrites for combining bitvector operations"); - ( "-mono_complex_nexps", - Arg.Set Process_file.opt_mono_complex_nexps, - " move complex size expressions in function signatures into constraints"); + ( "-dno_complex_nexps_rewrite", + Arg.Clear Process_file.opt_mono_complex_nexps, + " do not move complex size expressions in function signatures into constraints (monomorphisation)"); ( "-dall_split_errors", Arg.Set Process_file.opt_dall_split_errors, " display all case split errors from monomorphisation, rather than one"); |