From 27b630bccc6a3bdccf56bc85d3f3100eb928118d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 27 Nov 2014 23:50:09 +0100
Subject: [PATCH] Removed debug output.

Former-commit-id: 62786132db63fc2b73f237e0281149d8bc1f256d
---
 src/adapters/ExplicitModelAdapter.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h
index 1fafc1066..ea5a1491c 100644
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@@ -540,7 +540,6 @@ namespace storm {
                                     
                                     // Now add all rewards that match this choice.
                                     for (auto const& transitionReward : transitionRewards) {
-                                        std::cout << transitionReward.getStatePredicateExpression() << std::endl;
                                         if (transitionReward.getActionName() == "" && transitionReward.getStatePredicateExpression().evaluateAsBool(stateInformation.reachableStates.at(currentState))) {
                                             stateToRewardMap[stateProbabilityPair.first] += eval.evaluate(transitionReward.getRewardValueExpression(),stateInformation.reachableStates.at(currentState));
                                         }
@@ -560,8 +559,7 @@ namespace storm {
                                     }
                                 }
                             }
-
-                            
+                    
                             // Now add the resulting distribution as the only choice of the current state.
                             choiceLabels.push_back(globalChoice.getChoiceLabels());