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 1a0f6282..c622b8ee 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -135,6 +135,9 @@ let options = Arg.align ([ ( "-mono_rewrites", Arg.Set Process_file.opt_mono_rewrites, " turn on rewrites for combining bitvector operations"); + ( "-dall_split_errors", + Arg.Set Process_file.opt_dall_split_errors, + " display all case split errors from monomorphisation, rather than one"); ( "-verbose", Arg.Set opt_print_verbose, " (debug) pretty-print the input to standard output"); |