X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=157a0dc8f4bd8ed94bfe4268df3bbe6c1fd62055;hb=eff2701d5d282bfc0c1b52bd2af985705b11b307;hp=9733e54d7547fb20beeb3e2fcc7e85ead9f2cf6f;hpb=0b44225a7e2f2b11b2eb2fa42affae93e2e97f60;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 9733e54d75..157a0dc8f4 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -161,7 +161,7 @@ on_local_options (GApplication * application,
       start_time = g_get_monotonic_time ();
   }
 
-  
+
   return -1;
 }