From bb55d04acbb8047d41a7b2e82ba822f1a4fd328a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 27 Jan 2016 18:01:39 +0100
Subject: [PATCH] ..

Former-commit-id: 1bcd6d7f5e41dd198cc8150ffc23c4c685403929
---
 src/cli/entrypoints.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index a7ca3c076..05b765a08 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -157,7 +157,7 @@ namespace storm {
                     modelProgramPair.model->getNumberOfStates() << ";" <<
                     modelProgramPair.model->getNumberOfTransitions() << ";" << std::endl;
                 std::cout << "Num of states with nonconstant transitions; Num of nonconstant transitions" << std::endl;
-                std::cout << "NUM_PARS" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantRowGroupCont() << ";" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantRowGroupCont() << std::endl;
+                std::cout << "NUM_PARS" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantEntryCount() << std::endl;
                 // Preprocess the model if needed.
                 BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas);