added generation of KLOCs in dot diagrams

[helm.git] / helm / ocaml / tactics / Makefile

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 57937414c9940d113229d4d6bbc1dd0b966f05cd..a39d01930c0ac3d19778b1a0156481b9f3eb5bda 100644 (file)
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -26,6 +26,8 @@ tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodul
        echo "(* GENERATED FILE, DO NOT EDIT *)" > $@
        $(OCAMLC) -I paramodulation -i $< >> $@
 
+STATS_EXCLUDE = tactics.mli
+
 include ../Makefile.common
 
 OCAMLOPTIONS+= -I paramodulation