X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FMakefile.in;h=093a3217dda6c5ffc833a7bf4b37c6db1e1adc79;hb=91a095f0686ee569ba035e4e30c7d071588cb8e7;hp=2658d48ba3aeabcd37b44a37a04864742dd62a6e;hpb=2217c67eccc96fad6c84cc615e41b60405619ac3;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 2658d48ba..093a3217d 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -38,8 +38,8 @@ CMOS =				\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaGtkMisc.cmo	\
-	matitaGui.cmo		\
 	matitaMathView.cmo 	\
+	matitaGui.cmo		\
 	$(NULL)
 # objects for matitac (batch compiler)
 CCMOS =				\