From 7644a74fcdba67d56f1fb0b3b32f95190c5a1913 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 27 Nov 2014 17:38:22 +0100
Subject: [PATCH] Removed some superfluous lines in test.

Former-commit-id: 2c2bd0ba67a7ef8f7568dbe56d2d0d00df08f4e3
---
 .../DeterministicModelBisimulationDecompositionTest.cpp      | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/test/functional/storage/DeterministicModelBisimulationDecompositionTest.cpp b/test/functional/storage/DeterministicModelBisimulationDecompositionTest.cpp
index f984b0fe9..b5670064e 100644
--- a/test/functional/storage/DeterministicModelBisimulationDecompositionTest.cpp
+++ b/test/functional/storage/DeterministicModelBisimulationDecompositionTest.cpp
@@ -30,11 +30,6 @@ TEST(DeterministicModelBisimulationDecomposition, Die) {
     EXPECT_EQ(storm::models::DTMC, result->getType());
     EXPECT_EQ(5, result->getNumberOfStates());
     EXPECT_EQ(8, result->getNumberOfTransitions());
-
-//	std::shared_ptr<storm::models::AbstractModel<double>> abstractModel = storm::parser::AutoParser::parseModel(STORM_CPP_BASE_PATH "/examples/dtmc/die/die.tra", STORM_CPP_BASE_PATH "/examples/dtmc/die/die.lab", "", STORM_CPP_BASE_PATH "/examples/dtmc/die/die.coin_flips.trans.rew");
-//    
-//    ASSERT_EQ(abstractModel->getType(), storm::models::DTMC);
-//	std::shared_ptr<storm::models::Dtmc<double>> dtmc = abstractModel->as<storm::models::Dtmc<double>>();
 }
 
 TEST(DeterministicModelBisimulationDecomposition, Crowds) {