From 91ada7cb0e03244a8624773baedb96d3c03f8998 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 4 Jan 2022 12:32:09 -0800
Subject: Fix compiler warnings

---
 src/Modules.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/Modules.ml')

diff --git a/src/Modules.ml b/src/Modules.ml
index 3be1c742..5b76880f 100644
--- a/src/Modules.ml
+++ b/src/Modules.ml
@@ -1,9 +1,5 @@
 open Yojson.Basic
-open Identifiers
 open Types
-open OfJsonBasic
-open Scalars
-open Values
 open CfimAst
 
 (** Module declaration *)
-- 
cgit v1.2.3