From cf873d92162cad0cabaa580e18f7412df605cc85 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 4 Jan 2022 12:33:17 -0800
Subject: More compiler warnings

---
 src/InterpreterUtils.ml | 3 ---
 src/Modules.ml          | 1 -
 2 files changed, 4 deletions(-)

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 17e8abb4..51297eb5 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -1,13 +1,10 @@
 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
 
 (** Some utilities *)
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
 
-- 
cgit v1.2.3