Searching for params: as plain identifier

2022-04-25 16:26:30 +02:00 · 2022-04-25 16:26:30 +02:00 · f12f31bed6
parent 429cba6593
commit f12f31bed6
1 changed files with 1 additions and 1 deletions
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@ -4602,7 +4602,7 @@ int get_number_terminals(char *c)
                char *inst = gettok_instance(&c);
                strncpy(nam_buf, inst, sizeof(nam_buf) - 1);
                txfree(inst);
-                if (strstr(nam_buf, "params") || strchr(nam_buf, '='))
+                if (search_plain_identifier(nam_buf, "params:") || strchr(nam_buf, '='))
                    break;
                i++;
            }