Use of standard OCaml syntax

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

let initialized = ref false

let init () =
 if not !initialized then begin
  initialized := true;
  ignore (GMain.Main.init ())
 end else
  assert false