From d2002129b7acfcc3850af3a6c3d7540b2e4d8ff1 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 22 Aug 2017 16:54:39 +0200
Subject: [PATCH] remove output

---
 src/storm/analysis/GraphConditions.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/analysis/GraphConditions.cpp b/src/storm/analysis/GraphConditions.cpp
index ef77a720b..be8073bf7 100644
--- a/src/storm/analysis/GraphConditions.cpp
+++ b/src/storm/analysis/GraphConditions.cpp
@@ -58,7 +58,6 @@ namespace storm {
 
                 for (auto transitionIt = model.getTransitionMatrix().begin(action); transitionIt != model.getTransitionMatrix().end(action); ++transitionIt) {
                     auto const& transition = *transitionIt;
-                    std::cout << transition.getValue() << std::endl;
                     sum += transition.getValue();
                     if (!storm::utility::isConstant(transition.getValue())) {
                         auto const& transitionVars = transition.getValue().gatherVariables();