diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml
index 8a9ff6f..4e45bb9 100644
--- a/compiler/heptagon/main/hept_compiler.ml
+++ b/compiler/heptagon/main/hept_compiler.ml
@@ -48,26 +48,26 @@ let compile_impl pp p =
     do_silent_pass Initialization.program "Initialization check" p !init in
 
   (* Completion of partial definitions *)
-  let p = do_pass Completion_mapfold.program "Completion" p pp true in
+  let p = do_pass Completion.program "Completion" p pp true in
 
   let p =
     let call_inline_pass = (List.length !inline > 0) || !Misc.flatten in
     do_pass Inline.program "Inlining" p pp call_inline_pass in
 
   (* Automata *)
-  let p = do_pass Automata_mapfold.program "Automata" p pp true in
+  let p = do_pass Automata.program "Automata" p pp true in
 
   (* Present *)
-  let p = do_pass Present_mapfold.program "Present" p pp true in
+  let p = do_pass Present.program "Present" p pp true in
 
   (* Shared variables (last) *)
-  let p = do_pass Last_mapfold.program "Last" p pp true in
+  let p = do_pass Last.program "Last" p pp true in
 
   (* Reset *)
-  let p = do_pass Reset_mapfold.program "Reset" p pp true in
+  let p = do_pass Reset.program "Reset" p pp true in
 
   (* Every *)
-  let p = do_pass Every_mapfold.program "Every" p pp true in
+  let p = do_pass Every.program "Every" p pp true in
 
   (* Return the transformed AST *)
   p
diff --git a/compiler/heptagon/transformations/every.ml b/compiler/heptagon/transformations/every.ml
index 8260341..bd50de0 100644
--- a/compiler/heptagon/transformations/every.ml
+++ b/compiler/heptagon/transformations/every.ml
@@ -1,6 +1,6 @@
 open Heptagon
 open Hept_mapfold
-open Reset_mapfold
+open Reset
 
 let statefull eq_list = List.exists (fun eq -> eq.eq_statefull) eq_list