X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=7d2a47a943af0aeb8d5066c2c115e65171c52206;hb=07151480b04db0ef4e77d09a5b7559ae5ab25ab4;hp=4297634c809e423c8856efb4c24d7ff7384973ad;hpb=86af949158e013178557c7fec7662ac06fae753c;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index 4297634c8..7d2a47a94 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -281,7 +281,7 @@ object (self)
       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
@@ -591,7 +591,7 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
     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