From cdaa37670587dadda92ddab076170eb6d8e237cd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 18:17:41 +0200
Subject: Take care of some TODOs

---
 compiler/InterpreterBorrows.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterBorrows.ml')

diff --git a/compiler/InterpreterBorrows.ml b/compiler/InterpreterBorrows.ml
index 16f68d9e..e2d2bb0a 100644
--- a/compiler/InterpreterBorrows.ml
+++ b/compiler/InterpreterBorrows.ml
@@ -442,7 +442,7 @@ let give_back_symbolic_value (_config : C.config)
   (* Substitution function, to replace the borrow projectors over symbolic values *)
   let subst (_abs : V.abs) local_given_back =
     (* See the below comments: there is something wrong here *)
-    let _ = raise Errors.Unimplemented in
+    let _ = raise Utils.Unimplemented in
     (* Compute the projection over the given back value *)
     let child_proj =
       match nsv.sv_kind with
-- 
cgit v1.2.3