--- 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"