X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiInit.ml;h=a61f33aaf6f46220a50d3132f5acb65418ed0a09;hb=refs%2Fheads%2Fmaster;hp=be9d65abf5faddb0f949984d1c52e992e649ea66;hpb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;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