1.1 --- a/src/gui/gui.c	Mon Jun 19 11:00:42 2006 +0000
     1.2 +++ b/src/gui/gui.c	Thu Jan 25 08:21:56 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: gui.c,v 1.12 2006-06-19 11:00:42 nkeynes Exp $
     1.6 + * $Id: gui.c,v 1.13 2007-01-11 12:15:36 nkeynes Exp $
     1.7   * 
     1.8   * Top-level GUI (GTK2) module.
     1.9   *
    1.10 @@ -125,8 +125,8 @@
    1.11  	while( gtk_events_pending() )
    1.12  	    gtk_main_iteration();
    1.13  	update_icount(main_debug);
    1.14 -	return nanosecs;
    1.15      }
    1.16 +    return nanosecs;
    1.17  }
    1.18  
    1.19  void gtk_gui_update(void) {