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(matrix, labeling, markovianStates, exitRates);