summaryrefslogtreecommitdiff
path: root/compiler/SynthesizeSymbolic.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/SynthesizeSymbolic.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/SynthesizeSymbolic.ml b/compiler/SynthesizeSymbolic.ml
index 38efc53a..9e14a4d6 100644
--- a/compiler/SynthesizeSymbolic.ml
+++ b/compiler/SynthesizeSymbolic.ml
@@ -1,6 +1,5 @@
open Types
open TypesUtils
-open PrimitiveValues
open Expressions
open Values
open SymbolicAst