fixed compilation order

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index a4a6c8fd2d883ede52124480bec4dad06ac5585d..31744803e7e8dfd65124ada92cb8da44247109ba 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -23,11 +23,11 @@ MODULES =                   \
        cic_unification         \
        whelp                   \
        tactics                 \
-       tactics/paramodulation \
        cic_disambiguation      \
        lexicon                 \
        grafite_engine          \
        grafite_parser          \
+       tactics/paramodulation \
        $(NULL)
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@