X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=4bbaaddea52c08dc92738b0bf6503f4b097e5cf4;hb=517d7f0de0881a651d5b2f5adcc4063fe6332312;hp=f57364d5f79ccdd9e9ffcf0bc339a22491fb076e;hpb=c44be86afb9b9811e59ebdd0fc5819e029b66207;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index f57364d5f..4bbaaddea 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -398,7 +398,8 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
     val mutable _metasenv = []
     val mutable scrolledWin: GBin.scrolled_window option = None
       (* scrolled window to which the sequentViewer is currently attached *)
-    val logo = (GMisc.image ~file:"logo/matita_medium.png" () :> GObj.widget)
+    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)
 
     method load_logo =