src/widget.cpp
changeset 8617 931e0970d509
parent 8602 9e75e594a068
child 8627 448ebf3a8291
--- 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"