X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=0066d1c1816fcc5d3a7ab8ea142d1eef1744ba4f;hb=91a095f0686ee569ba035e4e30c7d071588cb8e7;hp=72dff80581b73e641240e364384684bab9f1c37a;hpb=55e646b795e4a7beedf1263ea734477bd4762931;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 72dff8058..0066d1c18 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -82,6 +82,7 @@ let script =
 let _ =
   let cic_math_view = MatitaMathView.cicMathView_instance () in
   let sequents_viewer = MatitaMathView.sequentsViewer_instance () in
+  sequents_viewer#load_logo;
   cic_math_view#set_href_callback
     (Some (fun uri -> (MatitaMathView.cicBrowser ())#load
       (`Uri (UriManager.uri_of_string uri))));