X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fwoptions.c;h=dfc1bfbda67a6ea37797b61b23ed0dd84e3eb8b5;hb=d5c36d4669c2f625af7c280c5a4ebdc4ba284e95;hp=20a3106c93ab38bf8c091f196d03690966ebd564;hpb=11bdae9e46aaeb00dd46db45908919e1e22e5590;p=xboard.git

diff --git a/winboard/woptions.c b/winboard/woptions.c
index 20a3106..dfc1bfb 100755
--- a/winboard/woptions.c
+++ b/winboard/woptions.c
@@ -32,11 +32,11 @@
 #include <ctype.h>
 
 #include "common.h"
+#include "frontend.h"
 #include "winboard.h"
 #include "backend.h"
 #include "woptions.h"
 #include "defaults.h"
-#include "wedittags.h"
 #include <richedit.h>
 
 #if __GNUC__