From 282345e49d00f205b3945c3c6bf5e7c1d8fa538a Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 25 Jul 2017 17:04:28 +0200
Subject: [PATCH] remove debug output

---
 src/storm/solver/GmmxxLinearEquationSolver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/solver/GmmxxLinearEquationSolver.cpp b/src/storm/solver/GmmxxLinearEquationSolver.cpp
index d1eec14cb..187e5bf2b 100644
--- a/src/storm/solver/GmmxxLinearEquationSolver.cpp
+++ b/src/storm/solver/GmmxxLinearEquationSolver.cpp
@@ -228,7 +228,6 @@ namespace storm {
                 gmmxxA = storm::adapters::GmmxxAdapter::toGmmxxSparseMatrix<ValueType>(*A);
             }
             if (b) {
-                std::cout << "A: " << A->getRowCount() << "x" << A->getColumnCount() << ", x: " << x.size() << ", b: " << b->size() << ", r: " << result.size() << std::endl;
                 gmm::mult_add(*gmmxxA, x, *b, result);
             } else {
                 gmm::mult(*gmmxxA, x, result);