X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;fp=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;h=395cab6c29927e01cc1760ec1ac6ccc28e6fd87f;hb=cd602bc57c4ceba6188b4cac0dbf5dad8f5df7b6;hp=c6b006f421cf8cf2f44efe7dfc7c723a3e42cefe;hpb=2d1cecb1593f5d4f4f1bb697f983ac8db99c2987;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index c6b006f42..395cab6c2 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -208,7 +208,8 @@ let render ids_to_uris =
         assert false
   and aux_attribute xmlattrs mathonly xref pos prec uris t =
     function
-    | `Loc _ -> aux xmlattrs mathonly xref pos prec uris t
+    | `Loc _
+    | `Raw _ -> aux xmlattrs mathonly xref pos prec uris t
     | `Level (child_prec, child_assoc) ->
         let t' = aux xmlattrs mathonly xref pos child_prec uris t in
         add_parens child_prec child_assoc pos prec t'