--- gtkstyle.c.orig	Sat Mar 20 18:39:40 1999
+++ gtkstyle.c	Sat Mar 20 18:39:48 1999
@@ -30,7 +30,6 @@
 #include "gtkstyle.h"
 #include "gtkthemes.h"
 #include "gtkwidget.h"
-#include "gtkthemes.h"
 #include "gdk/gdkprivate.h"