Added "nocomposites" to coercions.

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 06dde10858bb822ed2fcef3e3af14d57cb764aed..0271b714a5566704a599af382be964fb34532b89 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -43,10 +43,10 @@ MLI = \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
        virtuals.mli            \
-       matitaScript.mli        \
-       predefined_virtuals.mli \
        cicMathView.mli         \
+       predefined_virtuals.mli \
        matitaMathView.mli      \
+       matitaScript.mli        \
        matitaGui.mli           \
        $(NULL)
 CMLI =                         \