Make progress on implementing the symbolic evaluation for the non-local

function calls

1 files changed, 1 insertions, 7 deletions

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 20d4c3af..66ca8998 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -9,6 +9,7 @@ module A = CfimAst
 module L = Logging
 open TypesUtils
 open ValuesUtils
+open Utils
 
 (** Some utilities *)
 
@@ -147,13 +148,6 @@ type g_borrow_content = (V.borrow_content, V.aborrow_content) concrete_or_abs
 
 type abs_or_var_id = AbsId of V.AbstractionId.id | VarId of V.VarId.id
 
-exception Found
-(** Utility exception
-
-    When looking for something while exploring a term, it can be easier to
-    just throw an exception to signal we found what we were looking for.
- *)
-
 exception FoundBorrowContent of V.borrow_content
 (** Utility exception *)