From b0de515c3c6c664ea78fa53bfa39fcfed5062f26 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 2 Jun 2004 17:00:38 +0000 Subject: [PATCH] fix for proofEngineTypes.mli --- helm/ocaml/tactics/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2