* removed currified constructors everywhere. A bug in the ocaml compiler

[helm.git] / helm / ocaml / cic_transformations / cexpr2pres.ml

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.ml b/helm/ocaml/cic_transformations/cexpr2pres.ml
index f6a3b490d48e4f1e3a717a27ebb015c28e02be31..0b303083d0eb50dc2a4f3e2bbfe95b7d543a5660 100644 (file)
--- a/helm/ocaml/cic_transformations/cexpr2pres.ml
+++ b/helm/ocaml/cic_transformations/cexpr2pres.ml
@@ -145,7 +145,7 @@ let rec cexpr2pres ?(priority = 0) ?(assoc = false) ?(tail = []) t =
         let l' =
          List.map
           (function
-              None -> P.Mo [] "_"
+              None -> P.Mo([],"_")
             | Some t -> cexpr2pres t
           ) l
         in
@@ -313,7 +313,7 @@ cexpr2pres_charcount ?(priority = 0) ?(assoc = false) ?(tail = []) t =
         let l' =
          List.map
           (function
-              None -> P.Mo [] "_"
+              None -> P.Mo([],"_")
             | Some t -> cexpr2pres t
           ) l
         in