From 93a08538e3c5f6fd4392082b92063fb5ffd9e9b2 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 2 Aug 2014 19:18:51 +0200
Subject: [PATCH] Reverted debug change in test.

Former-commit-id: efeacaf595001f135226327123faacafafd6a200
---
 test/functional/parser/PrismParserTest.cpp | 1 -
 1 file changed, 1 deletion(-)

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());