From ea254c8af48ad5b4efd56624de40a9cb42452dd2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 18:37:51 +0100
Subject: Make minor modifications

---
 src/SymbolicToPure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 420c7eda..53073563 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -892,7 +892,7 @@ let get_abs_ancestors (ctx : bs_ctx) (abs : V.abs) : S.call * V.abs list =
 let rec translate_expression (e : S.expression) (ctx : bs_ctx) : expression =
   match e with
   | S.Return opt_v -> translate_return opt_v ctx
-  | Panic -> Panic
+  | Panic -> Fail
   | FunCall (call, e) -> translate_function_call call e ctx
   | EndAbstraction (abs, e) -> translate_end_abstraction abs e ctx
   | Expansion (sv, exp) -> translate_expansion sv exp ctx
-- 
cgit v1.2.3