From 7b70d77d2f9d7dfa6b8ccb351b0079a4e05c1b55 Mon Sep 17 00:00:00 2001
From: rfm <richardfrithmacdonald@gmail.com>
Date: Tue, 3 Sep 2024 11:28:58 +0100
Subject: [PATCH] Fix error consuming extra character at end of
 <ignore>..</ignore>

---
 Tools/AGSParser.m | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Tools/AGSParser.m b/Tools/AGSParser.m
index 0dc674b79..8a051f796 100644
--- a/Tools/AGSParser.m
+++ b/Tools/AGSParser.m
@@ -1345,6 +1345,7 @@ recheck:
 			if (buffer[pos + 1] == '/')
 			  {
 			    [self skipRemainderOfLine];
+			    break;
 			  }
 			else if (buffer[pos + 1] == '*')
 			  {