diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c index 031dd9d5b..40d1809d6 100644 --- a/src/frontend/inpcom.c +++ b/src/frontend/inpcom.c @@ -5283,7 +5283,6 @@ int get_number_terminals(char *c) /* required to make m= 1 a single token m=1 */ ccfree = cc = inp_remove_ws(cc); for (i = j = 0; (i < 12) && (*cc != '\0'); ++i) { - char* comma; name[i] = gettok_instance(&cc); if (search_plain_identifier(name[i], "off")) { @@ -5298,6 +5297,10 @@ int get_number_terminals(char *c) if (strchr(name[i], '=')) { break; } + /* an expression for area {...}, (without area={...})*/ + if (*name[i] == '{') { + break; + } } i--; tfree(ccfree);