From 6a3faa82e09e3fbf23014b53a2b40d420bc70c9b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 11:01:44 +0100
Subject: Cleanup a bit more the dependencies and activate more warnings/errors

---
 src/InterpreterBorrows.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/InterpreterBorrows.ml')

diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml
index 33501939..b60f0973 100644
--- a/src/InterpreterBorrows.ml
+++ b/src/InterpreterBorrows.ml
@@ -1,12 +1,8 @@
 module T = Types
 module V = Values
-module E = Expressions
 module C = Contexts
 module Subst = Substitute
-module A = CfimAst
 module L = Logging
-module Inv = Invariants
-module S = Synthesis
 open Utils
 open InterpreterUtils
 open InterpreterProjectors
-- 
cgit v1.2.3