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/SymbolicToPure.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index f321ce8c..77c5e0e8 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -3,7 +3,6 @@ open LlbcAstUtils
 open Pure
 open PureUtils
 module Id = Identifiers
-module M = Modules
 module S = SymbolicAst
 module TA = TypesAnalysis
 module L = Logging
-- 
cgit v1.2.3