diff options
| author | Christopher Pulte | 2019-03-04 16:00:56 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-03-04 16:00:56 +0000 |
| commit | 8172ca3bd983b185abed7b0e0ca0092dd39280c5 (patch) | |
| tree | 927ea2eb40aeaf11f43b3c93f83e396912deb0ba /src/sail.ml | |
| parent | 1e529503a7469843e55d7aed99656f25d147378a (diff) | |
| parent | 8efe97cd6d8140ebebf4d71e597f497dea385964 (diff) | |
Merge branch 'sail2' of https://github.com/rems-project/sail into sail2
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 949663d4..2a15f26e 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -467,7 +467,7 @@ let main() = if !opt_memo_z3 then Constraint.save_digests () else () end -let _ = try +let _ = try begin try ignore (main ()) with Failure s -> raise (Reporting.err_general Parse_ast.Unknown ("Failure " ^ s)) |