diff options
| -rw-r--r-- | src/Interpreter.ml | 1 | ||||
| -rw-r--r-- | src/SynthesizeSymbolic.ml | 2 | ||||
| -rw-r--r-- | src/Translate.ml | 2 | ||||
| -rw-r--r-- | src/main.ml | 2 |
4 files changed, 0 insertions, 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 |