From 189ff1aae1ac0e72c6bd9c2f8c34a6f24d839aff Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 3 Sep 2021 08:45:12 +0200
Subject: [PATCH] removed check - parsing issue

---
 src/test/storm/logic/FragmentCheckerTest.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/test/storm/logic/FragmentCheckerTest.cpp b/src/test/storm/logic/FragmentCheckerTest.cpp
index 762f26f73..25a1714ae 100644
--- a/src/test/storm/logic/FragmentCheckerTest.cpp
+++ b/src/test/storm/logic/FragmentCheckerTest.cpp
@@ -187,9 +187,6 @@ TEST(FragmentCheckerTest, Rpatl) {
     storm::parser::FormulaParser formulaParser(expManager);
     std::shared_ptr<storm::logic::Formula const> formula;
 
-    // this may be a parsing issue
-    //ASSERT_ANY_THROW(formula = formulaParser.parseSingleFormulaFromString("<<player1>> \"label\""));
-
     ASSERT_NO_THROW(formula = formulaParser.parseSingleFormulaFromString("<<p1>> P=? [F \"label\"]"));
     EXPECT_TRUE(checker.conformsToSpecification(*formula, rpatl));