From 311eb844354a9e182e037eb1f6bc96e7d6c1a73e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 14 Nov 2002 17:45:14 +0000 Subject: [PATCH] Default for the reduction moved to CicReductionMachine. --- helm/ocaml/cic_proof_checking/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile index eb8bd2713..0259effd1 100644 --- a/helm/ocaml/cic_proof_checking/Makefile +++ b/helm/ocaml/cic_proof_checking/Makefile @@ -2,7 +2,7 @@ PACKAGE = cic_proof_checking REQUIRES = helm-cic PREDICATES = -REDUCTION_IMPLEMENTATION = cicReductionNaif.ml +REDUCTION_IMPLEMENTATION = cicReductionMachine.ml INTERFACE_FILES = logger.mli cicEnvironment.mli cicPp.mli cicSubstitution.mli \ cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \ -- 2.39.2