diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sail.ml b/src/sail.ml index eff90fa3..65be5474 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -260,7 +260,7 @@ let options = Arg.align ([ "<filename>:<line>:<variable> to case split for monomorphisation"); ( "-memo_z3", Arg.Set opt_memo_z3, - " memoize calls to z3, improving performance when typechecking repeatedly (default)"); + " memoize calls to z3, improving performance when typechecking repeatedly"); ( "-no_memo_z3", Arg.Clear opt_memo_z3, " do not memoize calls to z3 (default)"); |