better nlet rec boxing

[helm.git] / helm / software / components / acic_content / cicNotationPp.ml

diff --git a/helm/software/components/acic_content/cicNotationPp.ml b/helm/software/components/acic_content/cicNotationPp.ml
index 1e759930ac4ef706175c85c181244657e3dd5558..c82919f4d693640891588165a30ee9e1662c1ad7 100644 (file)
--- 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 "; "