--- old/src/error.c.ORG	2002-01-07 20:16:42.000000000 +0100
+++ new/src/error.c	2003-04-29 16:41:49.000000000 +0200
@@ -38,11 +38,7 @@
 #include <stdio.h>
 #include <gtk/gtk.h>
 
-#if STDC_HEADERS
-#	include <stdarg.h>
-#else  /* not STDC_HEADERS */
-#	include <varargs.h>
-#endif /* not STDC_HEADERS */
+#include <stdarg.h>
 
 #include "misc.h"