diff -r 31b7784db761 -r dd6d21dc99c1 src/misc_cmd.cpp
--- a/src/misc_cmd.cpp	Fri Dec 21 19:21:21 2007 +0000
+++ b/src/misc_cmd.cpp	Fri Dec 21 19:49:27 2007 +0000
@@ -18,7 +18,7 @@
 #include "variables.h"
 #include "livery.h"
 #include "player_face.h"
-#include "strings.h"
+#include "strings_func.h"
 
 /** Change the player's face.
  * @param tile unused