diff -r 722042326977 -r f6284cf5fab0 misc_cmd.c
--- a/misc_cmd.c	Thu Jul 21 21:13:42 2005 +0000
+++ b/misc_cmd.c	Thu Jul 21 22:15:02 2005 +0000
@@ -9,6 +9,7 @@
 #include "gui.h"
 #include "economy.h"
 #include "network.h"
+#include "variables.h"
 
 /** Change the player's face.
  * @param x,y unused