X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=31744803e7e8dfd65124ada92cb8da44247109ba;hb=b555e6b8c27c765a4611dda9528963ebff116412;hp=a4a6c8fd2d883ede52124480bec4dad06ac5585d;hpb=e6a0a7caa40e3bceea30d3a56f013ac601cd1e16;p=helm.git

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@