diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index 772d8564..34fffd2e 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -653,4 +653,5 @@ let _ = try with Reporting.Fatal_error e -> Reporting.print_error e; Interactive.opt_suppress_banner := true; + if !opt_memo_z3 then Constraint.save_digests () else (); if !Interactive.opt_interactive then () else exit 1 |