(try Hashtbl.find ids_to_terms id with Not_found -> assert false)
method private string_of_node node =
- if node#hasAttributeNS ~namespaceURI:DomMisc.xlink_ns ~localName:href_ds
- then string_of_dom_node node
- else self#string_of_id_node node
+ if node#hasAttributeNS ~namespaceURI:DomMisc.helm_ns ~localName:xref_ds
+ then self#string_of_id_node node
+ else string_of_dom_node node
method private string_of_id_node node =
let get_id (node: Gdome.element) =