diff options
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
| -rw-r--r-- | src/lem_interp/run_interp_model.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp_model.ml b/src/lem_interp/run_interp_model.ml index e40dfe9f..9abf0442 100644 --- a/src/lem_interp/run_interp_model.ml +++ b/src/lem_interp/run_interp_model.ml @@ -340,7 +340,8 @@ let run show "exiting current evaluation" "" "" ""; step e,env', e | Escape _ -> assert false - | Error0 _ -> assert false + | Error0 _ -> failwith "Internal error" + | Fail0 _ -> failwith "Assertion in program failed" | Done -> show "done evalution" "" "" ""; assert false |