X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.c;h=c0c06879ee898d4f27340cd31cbd9bc51ac8ef7d;hb=f23961e675c1fb441ebb3392ff21f47c6db1c941;hp=23e09ea66e0d777c42c9f404b16dce86b0e56dc0;hpb=7e0222e64da6706bf0dc2468f459b98e4346206b;p=xboard.git

diff --git a/menus.c b/menus.c
index 23e09ea..c0c0687 100644
--- a/menus.c
+++ b/menus.c
@@ -88,7 +88,6 @@ extern char *getenv();
 #include "frontend.h"
 #include "backend.h"
 #include "xhistory.h"
-#include "xedittags.h"
 #include "menus.h"
 #include "gettext.h"