Fix bug with children not resizing with main window
[emu8051.git] / src / pgmwin.h
index 3b44466..0276e7f 100644 (file)
@@ -23,7 +23,6 @@
 #define PGMWIN_H 1
 
 #include <gtk/gtk.h>
-#include "gtksizes.h"
 
 GtkWidget *
 pgmwin_init(void);