From 250550c3280e5afd3220fc1ba2a6b0c3d5a8ec47 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Feb 2004 22:55:12 +0000 Subject: [PATCH] Functors must be applied using parentheses around the argument in OCaml. CamlP4 accepts a looser syntax ;-( --- helm/ocaml/cic_proof_checking/cicReductionMachine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;; -- 2.39.2