From cc9a4b8cb33da402824b6bb6e1812ac7f27f92df Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 14 Apr 2021 12:20:15 +0200
Subject: [PATCH] Adapting a parser test-case to the new parser

---
 src/test/storm/parser/FormulaParserTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/storm/parser/FormulaParserTest.cpp b/src/test/storm/parser/FormulaParserTest.cpp
index 3831976e2..8a36622fa 100644
--- a/src/test/storm/parser/FormulaParserTest.cpp
+++ b/src/test/storm/parser/FormulaParserTest.cpp
@@ -38,7 +38,7 @@ TEST(FormulaParserTest, ExpressionTest) {
     ASSERT_NO_THROW(formula = formulaParser.parseSingleFormulaFromString(input));
     
     EXPECT_TRUE(formula->isInFragment(storm::logic::propositional()));
-    EXPECT_TRUE(formula->isUnaryBooleanStateFormula());
+    EXPECT_TRUE(formula->isAtomicExpressionFormula());
 }
 
 TEST(FormulaParserTest, LabelAndExpressionTest) {