Class mathViewer got rid of. The circular dependency between

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 2d1fae4bf6fc2b0ad4ed3633a2a9c57cfa96cb8f..0271b714a5566704a599af382be964fb34532b89 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -44,9 +44,9 @@ MLI = \
        matitaGtkMisc.mli       \
        virtuals.mli            \
        cicMathView.mli         \
-       matitaScript.mli        \
        predefined_virtuals.mli \
        matitaMathView.mli      \
+       matitaScript.mli        \
        matitaGui.mli           \
        $(NULL)
 CMLI =                         \