X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2FMakefile;h=9a6c6d4d04b40ec2e70757a44d504bea1694eef2;hb=ef870606391fff198f215127eb022eb3e41ab1d4;hp=c4e020005e0a8ea4462aa678a88e08aa57062bab;hpb=040b70279b9bf0f576f00a9b1ad28df3c8bf6024;p=helm.git

diff --git a/components/tactics/Makefile b/components/tactics/Makefile
index c4e020005..9a6c6d4d0 100644
--- a/components/tactics/Makefile
+++ b/components/tactics/Makefile
@@ -22,7 +22,7 @@ INTERFACE_FILES = \
 	introductionTactics.mli	eliminationTactics.mli negationTactics.mli \
 	equalityTactics.mli \
 	auto.mli \
-	discriminationTactics.mli substTactic.mli \
+	destructTactic.mli \
         inversion.mli inversion_principle.mli ring.mli setoids.mli \
 	fourier.mli fourierR.mli fwdSimplTactic.mli history.mli \
 	statefulProofEngine.mli tactics.mli declarative.mli