From 10e9c20073e1fcd3acf1194b9074a21bdccd44ca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 13 Oct 2022 18:22:28 +0200
Subject: Rename Modules to Crates

---
 src/TranslateCore.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/TranslateCore.ml')

diff --git a/src/TranslateCore.ml b/src/TranslateCore.ml
index 326bb05f..a658147d 100644
--- a/src/TranslateCore.ml
+++ b/src/TranslateCore.ml
@@ -4,7 +4,6 @@ open InterpreterStatements
 module L = Logging
 module T = Types
 module A = LlbcAst
-module M = Modules
 module SA = SymbolicAst
 module FA = FunsAnalysis
 
-- 
cgit v1.2.3