X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=gui.c;h=a3c07ec796bd9d179ef633b3d81d91c14b42c834;hp=578eeed0c96d502767a57b5cb80f0cad2c9cfc07;hb=08d3a77eaeb04981d225a6938404f8ac901407b4;hpb=c0dca63e02352cae6a8c241dba4bc0d2c7cde050 diff --git a/gui.c b/gui.c index 578eeed0..a3c07ec7 100644 --- a/gui.c +++ b/gui.c @@ -9,7 +9,6 @@ #include #include #include -#include #include #include "gui.cmdline.h" @@ -100,7 +99,7 @@ static void com_reread_conf(void); static void com_enlarge_top_win(void); static void com_shrink_top_win(void); static void com_version(void); -static void com_quit(void); +__noreturn static void com_quit(void); static void com_refresh(void); static void com_ll_incr(void); static void com_ll_decr(void);