From 9c1773530a7056c161e69471b36eaa3603f6ed26 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 4 Apr 2024 17:58:32 +0200
Subject: Add field mk_return, mk_panic in SymbolicToPure.bs_ctx

---
 compiler/Translate.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 348183c5..22288fe2 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -158,6 +158,8 @@ let translate_function_to_pure (trans_ctx : trans_ctx)
       inside_loop = false;
       loop_ids_map;
       loops = Pure.LoopId.Map.empty;
+      mk_return = None;
+      mk_panic = None;
     }
   in
 
-- 
cgit v1.2.3