X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FcicNotationPp.ml;h=c82919f4d693640891588165a30ee9e1662c1ad7;hb=942ec766879070892420f6297b5c078c1582b78d;hp=1e759930ac4ef706175c85c181244657e3dd5558;hpb=d34061fd1c820139fad38c39dee6377e5057bf26;p=helm.git

diff --git a/helm/software/components/acic_content/cicNotationPp.ml b/helm/software/components/acic_content/cicNotationPp.ml
index 1e759930a..c82919f4d 100644
--- a/helm/software/components/acic_content/cicNotationPp.ml
+++ b/helm/software/components/acic_content/cicNotationPp.ml
@@ -144,7 +144,7 @@ let rec pp_term ?(pp_parens = true) t =
     | Ast.Uri (name, Some substs) ->
         sprintf "%s \\subst [%s]" name (pp_substs substs)
     | Ast.Implicit `Vector -> "?"
-    | Ast.Implicit `JustOne -> "..."
+    | Ast.Implicit `JustOne -> "…"
     | Ast.Meta (index, substs) ->
         sprintf "%d[%s]" index
           (String.concat "; "