refactored gui handling code so that MatitaMathView is linked before MatitaGui

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 2658d48ba3aeabcd37b44a37a04864742dd62a6e..093a3217dda6c5ffc833a7bf4b37c6db1e1adc79 100644 (file)
--- 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 =                                \