X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fwoptions.c;h=a97248bbd3bce89e04141d01e0f47de6bf8706d8;hb=7daad56f2ec6185fd0b1f0ca20f31a874bd2fc69;hp=1979228276b248dad57cfc18c326228c16d4158d;hpb=a009a27e8c1e0bfa818f12fdcae675d0babc510a;p=xboard.git

diff --git a/winboard/woptions.c b/winboard/woptions.c
index 1979228..a97248b 100644
--- a/winboard/woptions.c
+++ b/winboard/woptions.c
@@ -853,6 +853,7 @@ int radioButton[] = {
     OPT_VariantGreat,
     -1, // Twilight,
     OPT_VariantMakruk,
+    OPT_VariantASEAN,
     OPT_VariantSChess,
     OPT_VariantGrand,
     OPT_VariantSpartan, // Spartan