From 941afa46bcbebc8f5ddfa187009ddf67c640af00 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 3 Jan 2017 15:21:54 +0100
Subject: [PATCH] removed windows specific code

---
 src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp b/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
index 20087e136..c087a8a93 100644
--- a/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
+++ b/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
@@ -26,11 +26,7 @@ TEST(GameBasedMdpModelCheckerTest, DISABLED_Dice_Cudd) {
     storm::prism::Program program = storm::parseProgram(programFile);
 	
 	// Build the die model
-#ifdef WINDOWS
-    storm::builder::DdPrismModelBuilder<storm::dd::DdType::CUDD>::Options options;
-#else
     typename storm::builder::DdPrismModelBuilder<storm::dd::DdType::CUDD>::Options options;
-#endif
     std::shared_ptr<storm::models::symbolic::Model<storm::dd::DdType::CUDD>> model = storm::builder::DdPrismModelBuilder<storm::dd::DdType::CUDD>().build(program, options);
 
     ASSERT_EQ(model->getNumberOfStates(), 169ull);
@@ -101,11 +97,7 @@ TEST(GameBasedMdpModelCheckerTest, DISABLED_Dice_Sylvan) {
     storm::prism::Program program = storm::parseProgram(programFile);
     
     // Build the die model
-#ifdef WINDOWS
-    storm::builder::DdPrismModelBuilder<storm::dd::DdType::Sylvan>::Options options;
-#else
     typename storm::builder::DdPrismModelBuilder<storm::dd::DdType::Sylvan>::Options options;
-#endif
     std::shared_ptr<storm::models::symbolic::Model<storm::dd::DdType::Sylvan>> model = storm::builder::DdPrismModelBuilder<storm::dd::DdType::Sylvan>().build(program, options);
     
     ASSERT_EQ(model->getNumberOfStates(), 169ull);