X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=69bee68a534ee659b566e6f894945e901be28436;hb=5c56a926588a63ceac31e6ddd6e3eeb02fadf3a9;hp=07def06cd8b12dca4b1d93633f9b5c189a774f33;hpb=ce3b9018fe80437a56e56f2bc0b5696b2acb59bb;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 07def06cd..69bee68a5 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -129,9 +129,9 @@ let _ =
       List.iter (fun (u,_,_) -> 
         prerr_endline (UriManager.string_of_uri u)) 
         (CicEnvironment.list_obj ()));
-    addDebugItem "print selected terms" (fun () ->
+    addDebugItem "print selections" (fun () ->
       let sequentViewer = MatitaMathView.sequentViewer_instance () in
-      MatitaLog.debug (sequentViewer#string_of_selected_terms));
+      List.iter MatitaLog.debug (sequentViewer#string_of_selections));
     addDebugItem "dump getter settings" (fun _ ->
       prerr_endline (Http_getter_env.env_to_string ()));
     addDebugItem "getter: getalluris" (fun _ ->