X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=0923622291bc2f1057aac701a544d4fe9b612962;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=c0da0447dd469f16f0d8cc4a56ffe5b19835087c;hpb=687d1d3676afa3f936c22855f9510b78d702ec4c;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index c0da0447d..092362229 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -54,7 +54,9 @@ class proof_viewer obj =
   initializer
     ignore (self#connect#click (fun (gdome_elt, _, _, _) ->
       match gdome_elt with
-      | Some gdome_elt -> ignore (self#action_toggle gdome_elt)
+      | Some gdome_elt ->
+          prerr_endline (gdome_elt#get_nodeName#to_string);
+          ignore (self#action_toggle gdome_elt)
       | None -> ()))
 
   val mutable current_infos = None