X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=bab489a5aad88b13072822e4b113df887b8094a4;hb=360dcdd5b188e73cf8cf97238cc4c0c44b3e6cf8;hp=6a38d7259ee4aaec22d75344958634783188326f;hpb=0a8b97480fb9ede5d59eaddc55fe9f09f80a9cb7;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 6a38d7259e..bab489a5aa 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -124,7 +124,7 @@ main (int argc, char *argv[])
   if ( show_splash )
     gtk_widget_show (splash_window);
 
-  gtk_idle_add (quit_one_loop, 0);
+  g_idle_add (quit_one_loop, 0);
 
   gtk_quit_add (0, run_inner_loop, splash_window);
   gtk_main ();