Fixes a bug introduced by

317378085 ("Tidy code in get_number_terminals(), removing unneeded copying.", 2025-02-25)
2025-05-14 16:00:54 +02:00 · 2025-05-14 16:00:54 +02:00 · 073acb5a16
parent 3a7a910f6a
commit 073acb5a16
1 changed files with 0 additions and 1 deletions
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@ -5256,7 +5256,6 @@ int get_number_terminals(char *c)
                if (strchr(inst, '='))
                    j++;
                tfree(inst);
-                i++;
            }
            if (i == 100)
                return 0;