Commit dd919a82 authored by MARCHE Claude's avatar MARCHE Claude

reading config

parent 5810672c
......@@ -17,9 +17,13 @@
(* *)
(**************************************************************************)
let () = ignore (GtkMain.Main.init ())
open Format
let () =
eprintf "Init the GTK interface...@?";
ignore (GtkMain.Main.init ());
eprintf " done.@."
open Why
open Whyconf
open Gconfig
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment