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