From 164ed057869bb2968ec9d3c29c734d792443e1bd Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Wed, 4 Jan 2023 15:35:21 +0100 Subject: [PATCH] enable 'off', 'print', 'save' being part of a node name. Only plain 'off' (case of bipolar), or 'print', 'save' (in case of CIDER) will not be allowed. --- src/frontend/inpcom.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c index 413cccff5..fc2637b1a 100644 --- a/src/frontend/inpcom.c +++ b/src/frontend/inpcom.c @@ -4672,10 +4672,10 @@ int get_number_terminals(char *c) while ((i < 12) && (*cc != '\0')) { char* comma; name[i] = gettok_instance(&cc); - if (strstr(name[i], "off") || strchr(name[i], '=')) + if (search_plain_identifier(name[i], "off") || strchr(name[i], '=')) j++; #ifdef CIDER - if (strstr(name[i], "save") || strstr(name[i], "print")) + if (search_plain_identifier(name[i], "save") || search_plain_identifier(name[i], "print")) j++; #endif /* If we have IC=VBE, VCE instead of IC=VBE,VCE we need to inc