]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6f3ab47)
Default for the reduction moved to CicReductionMachine.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Nov 2002 17:45:14 +0000 (17:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Nov 2002 17:45:14 +0000 (17:45 +0000)
helm/ocaml/cic_proof_checking/Makefile patch | blob | history

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index eb8bd271318886609a4225f74200164ea80f8642..0259effd12d2a9239c6d3d69fe1657902c5bb863 100644 (file)
--- 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 \
Unnamed repository; edit this file 'description' to name the repository.