X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Ftest%2Ftest.ml;h=af65d7485db1b7f3ac27a9175a839177689f385a;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=1550a06421584f08217cc983b059d8c87bd509f9;hpb=cd82ace8c05648fbfcc19b78f17fbe6536fa10a2;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
index 1550a0642..af65d7485 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
@@ -9,15 +9,6 @@
 (* Callbacks *)
 let jump node =
  let module M = Minidom in
-  print_string ("jump: " ^
-   (match
-     M.node_get_attribute_ns node
-      (M.mDOMString_of_string "xlink")
-      (M.mDOMString_of_string "href")
-    with
-       None   -> "DOES NOT WORKS (if you have clicked on the hyperlink)!!!!!" 
-     | Some s -> M.string_of_mDOMString s
-   ) ^ "\n");
   print_string ("jump: " ^
    (match
      M.node_get_attribute node