X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcontent_pres%2FcicNotationPres.ml;h=673df335f224d4db81427637f1c185bb31e2a9bb;hb=refs%2Ftags%2F0.4.95;hp=4198e83b0311b7ed3be2376ff107bed53654b555;hpb=12ff38155f52e02b7e605a6970b997bc30eacb87;p=helm.git

diff --git a/components/content_pres/cicNotationPres.ml b/components/content_pres/cicNotationPres.ml
index 4198e83b0..673df335f 100644
--- a/components/content_pres/cicNotationPres.ml
+++ b/components/content_pres/cicNotationPres.ml
@@ -357,7 +357,7 @@ let render ids_to_uris ?(prec=(-1)) =
     let attrs = make_href xmlattrs xref in
     (match l with
     | `Symbol s -> Mpres.Mo (attrs, to_unicode s)
-    | `Keyword s -> Mpres.Mo (attrs, to_unicode s)
+    | `Keyword s -> Mpres.Mtext (attrs, to_unicode s)
     | `Number s  -> Mpres.Mn (attrs, to_unicode s))
   and aux_layout mathonly xref pos prec l =
     let attrs = make_xref xref in