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 ---
 1 file changed, 3 deletions(-)

(limited to 'src/InterpreterUtils.ml')

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 *)
-- 
cgit v1.2.3