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>()->getTransitionMatrix().getNonconstantRowGroupCont() << ";" << modelProgramPair.model->as>()->getTransitionMatrix().getNonconstantRowGroupCont() << std::endl; + std::cout << "NUM_PARS" << modelProgramPair.model->as>()->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << modelProgramPair.model->as>()->getTransitionMatrix().getNonconstantEntryCount() << std::endl; // Preprocess the model if needed. BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas);