From 088aabb293bff97c6363c80fc43f3a8e16a915cb Mon Sep 17 00:00:00 2001
From: ThomasH <thomas.henn@rwth-aachen.de>
Date: Sun, 7 Aug 2016 00:52:00 +0200
Subject: [PATCH] remove debug code

Former-commit-id: c351df36f18d255fdad73eae63791abc9f2a0dce
---
 src/builder/ExplicitGspnModelBuilder.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/builder/ExplicitGspnModelBuilder.cpp b/src/builder/ExplicitGspnModelBuilder.cpp
index 8caabb5e3..2843a197b 100644
--- a/src/builder/ExplicitGspnModelBuilder.cpp
+++ b/src/builder/ExplicitGspnModelBuilder.cpp
@@ -109,9 +109,7 @@ namespace storm {
                 }
 
             }
-
-            std::cout << "print matrix:" << std::endl;
-            std::cout << matrix << std::endl;
+            
             //auto labeling = getStateLabeling();
 
             return storm::models::sparse::MarkovAutomaton<double>(matrix, labeling, markovianStates, exitRates);