X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=cc4d94f10b44f4b9d5ca2c7f562372249f49b2de;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=f74927b6eeb37876245a07bc0276d22dae50150b;hpb=d67ebd1c12fd3d7b041a79b79e5829b25d90da9f;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index f74927b6e..cc4d94f10 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -15,8 +15,8 @@ MODULES =			\
 	cic_omdoc		\
 	metadata		\
 	tactics			\
-	cic_transformations	\
 	cic_notation		\
+	cic_transformations	\
 	cic_textual_parser2	\
 	paramodulation		\
 	$(NULL)