(function node ->
let xpath =
((node : Gdome.element)#getAttributeNS
- ~namespaceURI:Misc.helmns
+ ~namespaceURI:Misc.helm_ns
~localName:(Gdome.domString "xref"))#to_string
in
if xpath = "" then assert false (* "ERROR: No xref found!!!" *)
(function node ->
let xpath =
((node : Gdome.element)#getAttributeNS
- ~namespaceURI:Misc.helmns
+ ~namespaceURI:Misc.helm_ns
~localName:(Gdome.domString "xref"))#to_string
in
if xpath = "" then assert false (* "ERROR: No xref found!!!" *)
Some node ->
let xpath =
((node : Gdome.element)#getAttributeNS
- ~namespaceURI:Misc.helmns
+ ~namespaceURI:Misc.helm_ns
~localName:(Gdome.domString "xref"))#to_string
in
if xpath = "" then assert false (* "ERROR: No xref found!!!" *)
Some node ->
let xpath =
((node : Gdome.element)#getAttributeNS
- ~namespaceURI:Misc.helmns
+ ~namespaceURI:Misc.helm_ns
~localName:(Gdome.domString "xref"))#to_string
in
if xpath = "" then assert false (* "ERROR: No xref found!!!" *)