Use of standard OCaml syntax

[helm.git] / matita / matita / matitaGuiInit.ml

diff --git a/matita/matita/matitaGuiInit.ml b/matita/matita/matitaGuiInit.ml
index be9d65abf5faddb0f949984d1c52e992e649ea66..a61f33aaf6f46220a50d3132f5acb65418ed0a09 100644 (file)
--- 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