X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGtkMisc.ml;h=597cb7dbf9e9971c71ece1c6218abd4c630264cc;hb=6709920fe5d6be86d32e9ff2cc0186757660c608;hp=1f3caa9c738c9fc7d415a9682bed3bd326ef3364;hpb=3df31c02806eca83c63c14e6a89844f764c3e2cb;p=helm.git

diff --git a/matita/matita/matitaGtkMisc.ml b/matita/matita/matitaGtkMisc.ml
index 1f3caa9c7..597cb7dbf 100644
--- a/matita/matita/matitaGtkMisc.ml
+++ b/matita/matita/matitaGtkMisc.ml
@@ -27,6 +27,8 @@
 
 open Printf
 
+let _ = MatitaGuiInit.init ()
+
 let wrap_callback0 f = fun _ -> try f () with Not_found -> assert false
 let wrap_callback1 f = fun _ -> try f () with Not_found -> assert false
 let wrap_callback2 f = fun _ -> try f () with Not_found -> assert false