X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fcexpr2pres.ml;h=0b303083d0eb50dc2a4f3e2bbfe95b7d543a5660;hb=caf8d6cf32c9a9ec8d3fba0aa912d080ff5f7d52;hp=f6a3b490d48e4f1e3a717a27ebb015c28e02be31;hpb=399f84005987d007bd24f8a0dea3bb2211070a18;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.ml b/helm/ocaml/cic_transformations/cexpr2pres.ml
index f6a3b490d..0b303083d 100644
--- 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