From 515f9489c4e74d236c0a5a82ef5c1581f317ea9c 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:15:00 +0200
Subject: [PATCH] Rename *_mapfold to regular names

---
 .../heptagon/transformations/{automata_mapfold.ml => automata.ml} | 0
 .../transformations/{completion_mapfold2.ml => completion.ml}     | 0
 compiler/heptagon/transformations/{every_mapfold.ml => every.ml}  | 0
 compiler/heptagon/transformations/{last_mapfold.ml => last.ml}    | 0
 .../heptagon/transformations/{present_mapfold.ml => present.ml}   | 0
 compiler/heptagon/transformations/{reset_mapfold.ml => reset.ml}  | 0
 6 files changed, 0 insertions(+), 0 deletions(-)
 rename compiler/heptagon/transformations/{automata_mapfold.ml => automata.ml} (100%)
 rename compiler/heptagon/transformations/{completion_mapfold2.ml => completion.ml} (100%)
 rename compiler/heptagon/transformations/{every_mapfold.ml => every.ml} (100%)
 rename compiler/heptagon/transformations/{last_mapfold.ml => last.ml} (100%)
 rename compiler/heptagon/transformations/{present_mapfold.ml => present.ml} (100%)
 rename compiler/heptagon/transformations/{reset_mapfold.ml => reset.ml} (100%)

diff --git a/compiler/heptagon/transformations/automata_mapfold.ml b/compiler/heptagon/transformations/automata.ml
similarity index 100%
rename from compiler/heptagon/transformations/automata_mapfold.ml
rename to compiler/heptagon/transformations/automata.ml
diff --git a/compiler/heptagon/transformations/completion_mapfold2.ml b/compiler/heptagon/transformations/completion.ml
similarity index 100%
rename from compiler/heptagon/transformations/completion_mapfold2.ml
rename to compiler/heptagon/transformations/completion.ml
diff --git a/compiler/heptagon/transformations/every_mapfold.ml b/compiler/heptagon/transformations/every.ml
similarity index 100%
rename from compiler/heptagon/transformations/every_mapfold.ml
rename to compiler/heptagon/transformations/every.ml
diff --git a/compiler/heptagon/transformations/last_mapfold.ml b/compiler/heptagon/transformations/last.ml
similarity index 100%
rename from compiler/heptagon/transformations/last_mapfold.ml
rename to compiler/heptagon/transformations/last.ml
diff --git a/compiler/heptagon/transformations/present_mapfold.ml b/compiler/heptagon/transformations/present.ml
similarity index 100%
rename from compiler/heptagon/transformations/present_mapfold.ml
rename to compiler/heptagon/transformations/present.ml
diff --git a/compiler/heptagon/transformations/reset_mapfold.ml b/compiler/heptagon/transformations/reset.ml
similarity index 100%
rename from compiler/heptagon/transformations/reset_mapfold.ml
rename to compiler/heptagon/transformations/reset.ml