Metasenv partially checked.

[helm.git] / helm / ocaml / cic_proof_checking / Makefile

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 \