Functors must be applied using parentheses around the argument in OCaml.

CamlP4 accepts a looser syntax ;-(

diff --git a/helm/ocaml/cic_proof_checking/cicReductionMachine.ml b/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
index 44630ec515bb507fa23fbfda8533b37662599581..4e92e6ebc9f2586b4356befdb71927cdb3a926a1 100644 (file)
--- 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;;