From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 12 Jan 2006 14:28:44 +0000 (+0000)
Subject: fixed compilation order
X-Git-Tag: make_still_working~7838
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=acd31bfb9537bd32781404241c80bd0ebf88e3b1;p=helm.git

fixed compilation order
---

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index a4a6c8fd2..31744803e 100644
--- 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@