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/Synthesis.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/Synthesis.ml')

diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index d240714e..de482b18 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -1,15 +1,10 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
 module L = Logging
-open TypesUtils
-open ValuesUtils
-module Inv = Invariants
 open InterpreterUtils
 
 (* TODO: the below functions have very "rough" signatures and do nothing: I
-- 
cgit v1.2.3