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;
 }