From 7c1cfdcdf1e0f2837b012644fb23ab80f275842e Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 21 Jan 2016 17:52:01 +0100 Subject: [PATCH] .. Former-commit-id: 5c23becaf950c95a6a460efdd93b62cedfd290ad --- src/cli/entrypoints.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h index fa9c8ebb7..af3cbad59 100644 --- a/src/cli/entrypoints.h +++ b/src/cli/entrypoints.h @@ -142,8 +142,8 @@ namespace storm { std::cout << "INPUTMODEL_INFO;" << storm::settings::generalSettings().getSymbolicModelFilename() << ";" << storm::settings::generalSettings().getConstantDefinitionString() << ";" << - model->getNumberOfStates() << ";" << - model->getNumberOfTransitions() << ";" << std::endl; + modelProgramPair.model->getNumberOfStates() << ";" << + modelProgramPair.model->getNumberOfTransitions() << ";" << std::endl; // Preprocess the model if needed. BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas); @@ -192,8 +192,8 @@ namespace storm { std::cout << "DONE_MODEL_INFO;" << storm::settings::generalSettings().getSymbolicModelFilename() << ";" << storm::settings::generalSettings().getConstantDefinitionString() << ";" << - model->getNumberOfStates() << ";" << - model->getNumberOfTransitions() << ";" << std::endl; + modelProgramPair.model->getNumberOfStates() << ";" << + modelProgramPair.model->getNumberOfTransitions() << ";" << std::endl; } template