From 22f61c7bd18cd3652e886f6a765aab63eacac83c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 22 Apr 2004 11:29:14 +0000 Subject: [PATCH] fourier.mli addedto interface files. --- helm/ocaml/tactics/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile index ddd001cd1..b5430999e 100644 --- a/helm/ocaml/tactics/Makefile +++ b/helm/ocaml/tactics/Makefile @@ -8,7 +8,8 @@ INTERFACE_FILES = \ tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \ primitiveTactics.mli tacticChaser.mli variousTactics.mli \ introductionTactics.mli eliminationTactics.mli negationTactics.mli \ - equalityTactics.mli discriminationTactics.mli ring.mli fourierR.mli + equalityTactics.mli discriminationTactics.mli ring.mli fourier.mli \ + fourierR.mli IMPLEMENTATION_FILES = proofEngineTypes.ml $(INTERFACE_FILES:%.mli=%.ml) include ../Makefile.common -- 2.39.2