From e94a396bceb515b951fc22beb37252ffce34bef6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 09:29:26 +0100
Subject: Cleanup a bit by removing useless `open`

---
 src/Interpreter.ml        | 1 -
 src/SynthesizeSymbolic.ml | 2 --
 src/Translate.ml          | 2 --
 src/main.ml               | 2 --
 4 files changed, 7 deletions(-)

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 53c2a091..24d71234 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -2,7 +2,6 @@ open Cps
 open InterpreterUtils
 open InterpreterProjectors
 open InterpreterBorrows
-open InterpreterExpressions
 open InterpreterStatements
 open CfimAstUtils
 module L = Logging
diff --git a/src/SynthesizeSymbolic.ml b/src/SynthesizeSymbolic.ml
index d578a13e..6aec95bd 100644
--- a/src/SynthesizeSymbolic.ml
+++ b/src/SynthesizeSymbolic.ml
@@ -1,5 +1,3 @@
-open Errors
-open Identifiers
 module C = Collections
 module T = Types
 module V = Values
diff --git a/src/Translate.ml b/src/Translate.ml
index 756c28b4..043ed375 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -1,6 +1,4 @@
 open Errors
-open Cps
-open InterpreterUtils
 open InterpreterStatements
 open Interpreter
 module L = Logging
diff --git a/src/main.ml b/src/main.ml
index db57b5a7..571a3a54 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -7,8 +7,6 @@ module I = Interpreter
 module EL = Easy_logging.Logging
 module TA = TypesAnalysis
 module P = Pure
-open PrintSymbolicAst
-open SymbolicToPure
 open Translate
 
 (* This is necessary to have a backtrace when raising exceptions - for some
-- 
cgit v1.2.3