X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiInit.ml;h=a61f33aaf6f46220a50d3132f5acb65418ed0a09;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=be9d65abf5faddb0f949984d1c52e992e649ea66;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/matita/matitaGuiInit.ml b/matita/matita/matitaGuiInit.ml
index be9d65abf..a61f33aaf 100644
--- a/matita/matita/matitaGuiInit.ml
+++ b/matita/matita/matitaGuiInit.ml
@@ -1 +1,8 @@
-ignore (GMain.Main.init ())
+let initialized = ref false
+
+let init () =
+ if not !initialized then begin
+  initialized := true;
+  ignore (GMain.Main.init ())
+ end else
+  assert false