parameter sintax added to axiom statement

[helm.git] / helm / software / components / tactics / Makefile

diff --git a/helm/software/components/tactics/Makefile b/helm/software/components/tactics/Makefile
index 7c9f00db5f42d10f25d851cca0e6d3df09fbd1a3..ecc21a5db402b75730053217392c4bbf4996e06d 100644 (file)
--- a/helm/software/components/tactics/Makefile
+++ b/helm/software/components/tactics/Makefile
@@ -17,6 +17,7 @@ INTERFACE_FILES = \
        paramodulation/equality_indexing.mli\
        paramodulation/indexing.mli \
        paramodulation/saturation.mli \
+       automationCache.mli \
        variousTactics.mli \
        compose.mli \
        introductionTactics.mli eliminationTactics.mli negationTactics.mli \