X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FMakefile;fp=helm%2Focaml%2Ftactics%2FMakefile;h=0cf06c578f58d9016802fe4a179093886419df73;hp=36c81117f5e2d5b6a46ff916f1c69eddf59cc774;hb=c25a2152b1ebb7e9833db7c705e257068d89057a;hpb=3fb7f6206485d474b576c38c0d622aea73e0f3f0

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 36c81117f..0cf06c578 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -6,7 +6,6 @@ REQUIRES = \
 INTERFACE_FILES = \
 	newConstraints.mli match_concl.mli filter_auto.mli\
 	proofEngineReduction.mli proofEngineHelpers.mli	\
-	newConstraints.mli match_concl.mli \
 	tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
 	primitiveTactics.mli tacticChaser.mli variousTactics.mli \
 	introductionTactics.mli	eliminationTactics.mli negationTactics.mli \