From acd31bfb9537bd32781404241c80bd0ebf88e3b1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 12 Jan 2006 14:28:44 +0000
Subject: [PATCH] fixed compilation order

---
 helm/ocaml/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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@
-- 
2.39.2