From 4f6def2f36227f0e58687729574ec5caa9f9004b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 8 Mar 2024 22:52:31 +0100
Subject: Simplify the contexts before symbolically evaluating loops

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

(limited to 'compiler/InterpreterUtils.ml')

diff --git a/compiler/InterpreterUtils.ml b/compiler/InterpreterUtils.ml
index 0817b111..667c5080 100644
--- a/compiler/InterpreterUtils.ml
+++ b/compiler/InterpreterUtils.ml
@@ -420,6 +420,8 @@ let compute_ctxs_ids (ctxl : eval_ctx list) : ids_sets * ids_to_values =
 let compute_ctx_ids (ctx : eval_ctx) : ids_sets * ids_to_values =
   compute_ctxs_ids [ ctx ]
 
+let empty_ids_set = fst (compute_ctxs_ids [])
+
 (** **WARNING**: this function doesn't compute the normalized types
     (for the trait type aliases). This should be computed afterwards.
  *)
-- 
cgit v1.2.3