From 48571cd12ca572d14decaa70f777b00c25bdd444 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 22:46:40 +0200
Subject: [PATCH] Fixed a regression in the LtlParserTest.cpp

Former-commit-id: 79ee45eecd351a40cc51de80b74520f52f58cbb7
---
 test/functional/parser/LtlParserTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/functional/parser/LtlParserTest.cpp b/test/functional/parser/LtlParserTest.cpp
index c9f3cad58..00df82ff9 100644
--- a/test/functional/parser/LtlParserTest.cpp
+++ b/test/functional/parser/LtlParserTest.cpp
@@ -100,7 +100,7 @@ TEST(LtlParserTest, parseBoundedUntilFormulaTest) {
 	ASSERT_EQ(static_cast<uint_fast64_t>(3), op->getBound());
 
 
-	ASSERT_EQ(ltlFormula->toString(), formula);
+	ASSERT_EQ(ltlFormula->toString(), "(a U<=3 b)");
 
 	delete ltlFormula;
 }