X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=aae334abd56e79927c748b3636c02a3160222468;hb=71590f4a0cb620a5e98fee3e8d65670271234532;hp=d4f9c3fac85bd102e472bc2a9e06648b20b65e4a;hpb=ee69e02cdf70e8fed61c3bf1c8f165b4798ad9fb;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index d4f9c3fac..aae334abd 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -44,6 +44,8 @@ let _ =
   MatitaDb.create_owner_environment ();
   MatitamakeLib.initialize ();
   GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
+  prerr_endline BuildTimeConf.gtkmathview_conf;
+  GMathView.add_configuration_path BuildTimeConf.gtkmathview_conf;
   ignore (GMain.Main.init ());
   CicEnvironment.set_trust (* environment trust *)
     (let trust = Helm_registry.get_bool "matita.environment_trust" in