X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicReductionMachine.ml;h=4e92e6ebc9f2586b4356befdb71927cdb3a926a1;hb=45df6252e22ddffc4874083383113594f7ee64fb;hp=44630ec515bb507fa23fbfda8533b37662599581;hpb=e56b03bebff0a107ba82dbf078c75c5266175adb;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicReductionMachine.ml b/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
index 44630ec51..4e92e6ebc 100644
--- a/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
+++ b/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
@@ -767,7 +767,7 @@ module R = Reduction ClosuresOnStackByValueFromEnvOrEnsStrategy;;
 module R = Reduction
  ClosuresOnStackByValueFromEnvOrEnsByNameOnConstantsStrategy;;
 *)
-module R = Reduction ClosuresOnStackByValueFromEnvOrEnsStrategy;;
+module R = Reduction(ClosuresOnStackByValueFromEnvOrEnsStrategy);;
 
 let whd = R.whd;;