summaryrefslogtreecommitdiff
path: root/src/Modules.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Modules.ml')
-rw-r--r--src/Modules.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Modules.ml b/src/Modules.ml
index 5b76880f..bf5e9835 100644
--- a/src/Modules.ml
+++ b/src/Modules.ml
@@ -1,4 +1,3 @@
-open Yojson.Basic
open Types
open CfimAst