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 \