summaryrefslogtreecommitdiff
path: root/src/PrePasses.ml
diff options
context:
space:
mode:
authorSon Ho2022-10-13 18:22:28 +0200
committerSon Ho2022-10-13 18:22:28 +0200
commit10e9c20073e1fcd3acf1194b9074a21bdccd44ca (patch)
tree32b71f13ffa03c1927cd0ff45820cc2a8b808954 /src/PrePasses.ml
parente7b4aba11391bede785799237a73ef7bd16d0372 (diff)
Rename Modules to Crates
Diffstat (limited to 'src/PrePasses.ml')
-rw-r--r--src/PrePasses.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/PrePasses.ml b/src/PrePasses.ml
index c9d496ea..3159907e 100644
--- a/src/PrePasses.ml
+++ b/src/PrePasses.ml
@@ -7,7 +7,6 @@ module V = Values
module E = Expressions
module C = Contexts
module A = LlbcAst
-module M = Modules
module L = Logging
let log = L.pre_passes_log
@@ -50,6 +49,6 @@ let filter_drop_assigns (f : A.fun_decl) : A.fun_decl =
in
{ f with body }
-let apply_passes (m : M.llbc_module) : M.llbc_module =
+let apply_passes (m : Crates.llbc_crate) : Crates.llbc_crate =
let functions = List.map filter_drop_assigns m.functions in
{ m with functions }