Order of compilation of the modules fixed.

diff --git a/components/Makefile b/components/Makefile
index c16dc0e714fc20cb27c827d2eec83af70e8378f5..718c14b911537694710a3f5df227ae3c54bcabfc 100644 (file)
--- a/components/Makefile
+++ b/components/Makefile
@@ -20,11 +20,11 @@ MODULES =                   \
        cic                     \
        cic_proof_checking      \
        cic_acic                \
+       metadata                \
+       library                 \
        acic_content            \
        content_pres            \
        grafite                 \
-       metadata                \
-       library                 \
        cic_unification         \
        whelp                   \
        tactics                 \