diff --git a/test/functional/parser/PrismParserTest.cpp b/test/functional/parser/PrismParserTest.cpp index c7521fafc..dbbf5b4a4 100644 --- a/test/functional/parser/PrismParserTest.cpp +++ b/test/functional/parser/PrismParserTest.cpp @@ -94,7 +94,6 @@ TEST(PrismParser, ComplexTest) { endrewards)"; storm::prism::Program result; - result = storm::parser::PrismParser::parseFromString(testInput, "testfile"); EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput, "testfile")); EXPECT_EQ(storm::prism::Program::ModelType::MA, result.getModelType()); EXPECT_EQ(3, result.getNumberOfModules());