diff options
Diffstat (limited to 'src/InterpreterPaths.ml')
| -rw-r--r-- | src/InterpreterPaths.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml index 7e9fa7dd..fa9fe1a8 100644 --- a/src/InterpreterPaths.ml +++ b/src/InterpreterPaths.ml @@ -1,19 +1,12 @@ 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 module S = Synthesis -open Utils open InterpreterUtils -open InterpreterProjectors open InterpreterBorrows open InterpreterExpansion |