X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FMakefile;h=db8cc9231f978623d6ad2111362bbb23857513f6;hb=782253ebe87375f52c07899c1501db5a665a457f;hp=a39d01930c0ac3d19778b1a0156481b9f3eb5bda;hpb=9e612ad41b3231db504079c6e13fdd8951f3c695;p=helm.git

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index a39d01930..db8cc9231 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -31,3 +31,4 @@ STATS_EXCLUDE = tactics.mli
 include ../Makefile.common
 
 OCAMLOPTIONS+= -I paramodulation
+OCAMLDEPOPTIONS+= -I paramodulation