From f43cb6a798c4290398b8d47185e3443df226a9b3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 20 May 2021 22:09:17 -0700
Subject: [PATCH] fix testfile

---
 src/test/storm/parser/PrismParserTest.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/test/storm/parser/PrismParserTest.cpp b/src/test/storm/parser/PrismParserTest.cpp
index 14a0362c2..b9ed393b4 100644
--- a/src/test/storm/parser/PrismParserTest.cpp
+++ b/src/test/storm/parser/PrismParserTest.cpp
@@ -174,8 +174,10 @@ TEST(PrismParser, NAryPredicates) {
     label "test" = atMostOneOf(s=0, s=3, s=4);
     label "test2" = exactlyOneOf(s=0, i, !i & s=3);
     )";
+    storm::prism::Program result;
 
-    EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput2, "testfile"));
+
+    EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput, "testfile"));
 }
 
 TEST(PrismParser, IllegalInputTest) {