ocaml 3.09 transition

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c489fe33d8e0b3f5ca89600683fb99fab642bff3..127f8a407638086f975ada39664ed1da040f4253 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -39,14 +39,14 @@ CMOS =                              \
        matitaLog.cmo           \
        matitaTypes.cmo         \
        matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitamakeLib.cmo       \
        matitaInit.cmo  \
        matitaSync.cmo          \
-       matitacleanLib.cmo      \
        matitaDisambiguator.cmo \
+       matitaExcPp.cmo         \
+       matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        matitaScript.cmo        \
@@ -61,13 +61,13 @@ CCMOS =                             \
        matitaLog.cmo           \
        matitaTypes.cmo         \
        matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitamakeLib.cmo       \
        matitaInit.cmo \
        matitaSync.cmo          \
        matitaDisambiguator.cmo \
+       matitaExcPp.cmo         \
        matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \