From 8cac3c5cb5f9c36ffa878cf32ce858d171e4e3c8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 10:52:37 +0100
Subject: Cleanup the dependencies a bit

---
 src/InterpreterExpressions.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/InterpreterExpressions.ml')

diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml
index 1b2a9859..b08c8749 100644
--- a/src/InterpreterExpressions.ml
+++ b/src/InterpreterExpressions.ml
@@ -5,16 +5,11 @@ module E = Expressions
 open Errors
 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
-open InterpreterProjectors
-open InterpreterBorrows
 open InterpreterExpansion
 open InterpreterPaths
 
-- 
cgit v1.2.3