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 575ffbdf..6ef2bd3a 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -131,7 +131,7 @@ let options = Arg.align ([ Arg.Set Jib_smt.ignore_overflow, " ignore integer overflow in generated SMT"); ( "-smt_int_size", - Arg.String (fun n -> Jib_smt.lint_size := int_of_string n), + Arg.String (fun n -> Jib_smt.opt_lint_size := int_of_string n), " set a bound on the maximum integer bitwidth for generated SMT"); ( "-c", Arg.Tuple [set_target "c"; Arg.Set Initial_check.opt_undefined_gen], |