X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fwoptions.c;h=dfc1bfbda67a6ea37797b61b23ed0dd84e3eb8b5;hb=8c94141e6c30dc94777dee5824cfbf027a18f940;hp=20a3106c93ab38bf8c091f196d03690966ebd564;hpb=b1d0ce066c0f7f5aab1c99d60911c3370c081f51;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__