From 9d942bc78f56b0e320081aceff90d7c9fc884673 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 27 Jan 2016 17:59:22 +0100
Subject: [PATCH] ..

Former-commit-id: 9b893cc5226d9d6a7cd66e2b9a3933ec68194bc9
---
 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 dec8043c2..a7ca3c076 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().getNonconstantRowGroupCont() << ";" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantRowGroupCont() << std::endl;
                 // Preprocess the model if needed.
                 BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas);