From: Enrico Tassi Date: Wed, 2 Jun 2004 17:00:38 +0000 (+0000) Subject: fix for proofEngineTypes.mli X-Git-Tag: pre_subst_in_kernel~42 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0de515c3c6c664ea78fa53bfa39fcfed5062f26;p=helm.git fix for proofEngineTypes.mli --- diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile index c837f2df8..3b0392f16 100644 --- a/helm/ocaml/tactics/Makefile +++ b/helm/ocaml/tactics/Makefile @@ -11,7 +11,7 @@ INTERFACE_FILES = \ introductionTactics.mli eliminationTactics.mli negationTactics.mli \ equalityTactics.mli discriminationTactics.mli ring.mli fourier.mli \ fourierR.mli statefulProofEngine.mli -IMPLEMENTATION_FILES = proofEngineTypes.ml $(INTERFACE_FILES:%.mli=%.ml) +IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) include ../Makefile.common