From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Nov 2002 17:45:14 +0000 (+0000)
Subject: Default for the reduction moved to CicReductionMachine.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=311eb844354a9e182e037eb1f6bc96e7d6c1a73e;p=helm.git

Default for the reduction moved to CicReductionMachine.
---

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 \