X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=1b73fe2da0da33ac1b83959be43d1bc5af2c0924;hb=03d30a78581b24842e1f425b41861e5ae8f912b5;hp=ed5ebb320869dfc1329ce4b5839a75ac83d0f928;hpb=b16e7f7eac1eef4210e9793f5c92f12a466c34c7;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index ed5ebb320..1b73fe2da 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -34,9 +34,9 @@ CMOS =				\
 	matitaInit.cmo		\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
+	applyTransformation.cmo	\
 	matitacLib.cmo		\
 	matitaprover.cmo        \
-	applyTransformation.cmo	\
 	matitaGtkMisc.cmo	\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
@@ -52,8 +52,8 @@ CCMOS =				\
 	matitaInit.cmo		\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
-	matitacLib.cmo		\
 	applyTransformation.cmo	\
+	matitacLib.cmo		\
 	matitaWiki.cmo		\
 	matitaprover.cmo        \
 	$(NULL)