X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.c;h=df0b733d9e14656524e3ff61b283b9eb7e623ec1;hb=0d88b7c20af19de163b648898ec8d3ed4c31d796;hp=a75bf5f35573eda4058ffa442e4615900ab09476;hpb=4448222ea4dc2327eaf6338a19160842278229a9;p=xboard.git

diff --git a/menus.c b/menus.c
index a75bf5f..df0b733 100644
--- a/menus.c
+++ b/menus.c
@@ -87,7 +87,6 @@ extern char *getenv();
 
 #include "frontend.h"
 #include "backend.h"
-#include "xhistory.h"
 #include "menus.h"
 #include "gettext.h"