let xref_attr =
node#getAttributeNS ~namespaceURI:DomMisc.helm_ns ~localName:xref_ds
in
- xref_attr#to_string
+ List.hd (HExtlib.split ~sep:' ' xref_attr#to_string)
in
let id = get_id node in
let script = MatitaScript.instance () in
try
f ()
with exn ->
- if Helm_registry.get_bool "matita.catch_top_level_exn" then
+ if not (Helm_registry.get_bool "matita.debug") then
fail (MatitaExcPp.to_string exn)
else raise exn
in