1 --- ./src/gtkMain.ml 2007-08-17 05:24:07.000000000 +0200
2 +++ ./src/gtkMain.ml 2007-10-03 21:59:06.000000000 +0200
5 raise (Error ("GtkMain.init: initialization failed\n" ^ err))
7 + if setlocale then ignore (Glib.Main.setlocale `NUMERIC (Some "C"));
8 Array.blit ~src:argv ~dst:Sys.argv ~len:(Array.length argv)
10 Obj.truncate (Obj.repr Sys.argv) (Array.length argv);