From 073acb5a16a32e81f140c18dfd9114cbfff0d70e Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 14 May 2025 16:00:54 +0200
Subject: [PATCH] Fixes a bug introduced by 317378085 ("Tidy code in
 get_number_terminals(), removing unneeded copying.", 2025-02-25)

---
 src/frontend/inpcom.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index af230c9c1..95304bc78 100644
--- 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;