diff options
| -rw-r--r-- | src/InterpreterStatements.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml index 15bfb6e7..5eee5296 100644 --- a/src/InterpreterStatements.ml +++ b/src/InterpreterStatements.ml @@ -549,7 +549,9 @@ let rec eval_statement (config : C.config) (ctx : C.eval_ctx) (st : A.statement) | Ok ctx -> [ Ok (ctx, Unit) ] | Error e -> [ Error e ]) | A.Call call -> eval_function_call config ctx call - | A.Panic -> [ Error Panic ] + | A.Panic -> + S.synthesize_panic (); + [ Error Panic ] | A.Return -> [ Ok (ctx, Return) ] | A.Break i -> [ Ok (ctx, Break i) ] | A.Continue i -> [ Ok (ctx, Continue i) ] |