Cleanup a bit more the dependencies and activate more warnings/errors

1 files changed, 1 insertions, 4 deletions

diff --git a/src/InterpreterProjectors.ml b/src/InterpreterProjectors.ml
index 9a487c89..c3fd0708 100644
--- a/src/InterpreterProjectors.ml
+++ b/src/InterpreterProjectors.ml
@@ -3,12 +3,9 @@ module V = Values
 module E = Expressions
 module C = Contexts
 module Subst = Substitute
-module A = CfimAst
 module L = Logging
 open TypesUtils
 open ValuesUtils
-module Inv = Invariants
-module S = Synthesis
 open Utils
 open InterpreterUtils
 
@@ -24,7 +21,7 @@ let rec apply_proj_borrows_on_shared_borrow (ctx : C.eval_ctx)
     V.abstract_shared_borrows =
   (* Sanity check - TODO: move this elsewhere (here we perform the check at every
    * recursive call which is a bit overkill...) *)
-  let ety = Substitute.erase_regions ty in
+  let ety = Subst.erase_regions ty in
   assert (ety = v.V.ty);
   (* Project *)
   match (v.V.value, ty) with