} else if (StrCaseCmp(name, "Variant") == 0) {
/* xboard-defined extension */
success = StrSavePtr(value, &gameInfo->variantName) != NULL;
} else if (StrCaseCmp(name, "Variant") == 0) {
/* xboard-defined extension */
success = StrSavePtr(value, &gameInfo->variantName) != NULL;
} else if (StrCaseCmp(name, "VariantMen") == 0) {
/* for now ignore this tag, as we have no method yet */
/* for assigning the pieces to XBoard pictograms */
} else if (StrCaseCmp(name, "VariantMen") == 0) {
/* for now ignore this tag, as we have no method yet */
/* for assigning the pieces to XBoard pictograms */