From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 12 Jan 2006 14:30:25 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7837
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=77f41636ced753cd8b909a0f01908bab3925d113;p=helm.git

fix
---

diff --git a/helm/ocaml/tactics/paramodulation/Makefile b/helm/ocaml/tactics/paramodulation/Makefile
index 8baf84c47..467def969 100644
--- a/helm/ocaml/tactics/paramodulation/Makefile
+++ b/helm/ocaml/tactics/paramodulation/Makefile
@@ -2,6 +2,8 @@ PACKAGE = dummy
 
 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
 
+include ../../Makefile.common
+
 all:saturate
 opt:saturate.opt
 
@@ -10,8 +12,6 @@ saturate: saturate_main.ml $(LIBRARIES)
 saturate.opt: saturate_main.ml $(LIBRARIES)
 	$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
 
-include ../../Makefile.common
-
 clean:
 	rm -f saturate saturate.opt