From 38edb4c01773626b89ff527bf8a0e1b76bd1abc6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 15:32:41 +0100
Subject: Make a minor modification

---
 src/InterpreterStatements.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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) ]
-- 
cgit v1.2.3