Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is

[helm.git] / helm / ocaml / cic_annotations / cicAnnotation2Xml.ml

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
index 353ef1f7496082b445329372061f59c56ce83d06..23c3a9b68446a3812f8682a7c2a0e96c78051ac4 100644 (file)
--- a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
@@ -38,7 +38,7 @@ let print_ann i2a id =
   let ann = get_ann i2a id in
    match ann with
       None -> [<>]
-    | Some ann -> (X.xml_nempty "Annotation" ["of", id] (X.xml_cdata ann))
+    | Some ann -> (X.xml_nempty "Annotation" [None,"of", id] (X.xml_cdata ann))
 ;;
 
 (*CSC ottimizzazione: al posto di curi cdepth (vedi codice) *)
@@ -106,7 +106,7 @@ let pp_annotation obj i2a curi =
   [< X.xml_cdata "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n" ;
      X.xml_cdata ("<!DOCTYPE Annotations SYSTEM \"" ^ dtdname ^ "\">\n\n") ;
      X.xml_nempty "Annotations"
-      ["of", UriManager.string_of_uri (UriManager.cicuri_of_uri curi)]
+      [None, "of", UriManager.string_of_uri (UriManager.cicuri_of_uri curi)]
       begin
        match obj with
          C.AConstant (xid, xidobj, _, te, ty, _) ->