From f12f31bed6463eb2961a6d61900f3dc5282e70c2 Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Mon, 25 Apr 2022 16:26:30 +0200 Subject: [PATCH] Searching for params: as plain identifier --- src/frontend/inpcom.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c index b51f6ba52..106aed6be 100644 --- 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++; }