src/widget.cpp
changeset 8121 3bc6351e7369
parent 8106 e6790dd9e750
child 8131 160939e24ed3
--- a/src/widget.cpp	Sat Dec 22 21:01:49 2007 +0000
+++ b/src/widget.cpp	Sat Dec 22 23:30:28 2007 +0000
@@ -8,7 +8,6 @@
 #include "player.h"
 #include "table/sprites.h"
 #include "table/strings.h"
-#include "gfx.h"
 #include "viewport.h"
 #include "window_gui.h"