From 25992baa7fb25b39694f138b8d1483a249b1a266 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Sep 2005 14:15:17 +0000
Subject: [PATCH] added support for multiple idrefs

---
 helm/matita/matitaMathView.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index 4297634c8..be144b949 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
-- 
2.39.2