Bug fixed: the small logo was searched in the wrong path.

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index 4bbaaddea52c08dc92738b0bf6503f4b097e5cf4..de08f538ebf2e4ee181c2a0a76197c42807a1a2e 100644 (file)
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -400,7 +400,7 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
       (* scrolled window to which the sequentViewer is currently attached *)
     val logo = (GMisc.image ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_medium.png") () :> GObj.widget)
             
-    val logo_with_qed = (GMisc.image ~file:"logo/matita_small.png" () :> GObj.widget)
+    val logo_with_qed = (GMisc.image ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_small.png") () :> GObj.widget)
 
     method load_logo =
      notebook#set_show_tabs false;