From fb64fe613f502905cf24ff4064643d2a48679f35 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Uwe=20St=C3=B6hr?= <uwestoehr@lyx.org>
Date: Sun, 17 Feb 2013 02:38:29 +0100
Subject: [PATCH] Parser.cpp: a workaround for bug #8525

---
 src/tex2lyx/Parser.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tex2lyx/Parser.cpp b/src/tex2lyx/Parser.cpp
index 547f424b9d..cba63099c9 100644
--- a/src/tex2lyx/Parser.cpp
+++ b/src/tex2lyx/Parser.cpp
@@ -462,7 +462,8 @@ Parser::Arg Parser::getFullArg(char left, char right, bool allow_escaping)
 		putback();
 		return make_pair(false, string());
 	} else {
-		for (t = get_token(); good(); t = get_token()) {
+		while (good()) {
+			t = get_token();
 			// Ignore comments
 			if (t.cat() == catComment) {
 				if (!t.cs().empty())