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(*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);