From aa61865b9e03411a1dd85e558fd15741c82ebf6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Mon, 26 Jul 2010 14:17:24 +0200
Subject: [PATCH] Update names in code

---
 compiler/heptagon/main/hept_compiler.ml    | 12 ++++++------
 compiler/heptagon/transformations/every.ml |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

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