src/autoreplace_gui.cpp
changeset 7266 b16e67e992b4
parent 7258 8ea218277d00
child 7341 02515d0d4ced
--- a/src/autoreplace_gui.cpp	Sun Jul 15 18:14:21 2007 +0000
+++ b/src/autoreplace_gui.cpp	Mon Jul 16 09:16:58 2007 +0000
@@ -8,6 +8,7 @@
 #include "functions.h"
 #include "table/sprites.h"
 #include "table/strings.h"
+#include "strings.h"
 #include "window.h"
 #include "gui.h"
 #include "command.h"