Make a minor modification

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) ]