diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp index 41d524a4b..893f87a44 100644 --- a/src/storm/storage/prism/Program.cpp +++ b/src/storm/storage/prism/Program.cpp @@ -683,7 +683,7 @@ namespace storm { std::set const& Program::getModuleIndicesByActionIndex(uint_fast64_t actionIndex) const { auto const& actionModuleSetPair = this->actionIndicesToModuleIndexMap.find(actionIndex); - STORM_LOG_THROW(actionModuleSetPair != this->actionIndicesToModuleIndexMap.end(), storm::exceptions::OutOfRangeException, "Action name '" << actionIndex << "' does not exist."); + STORM_LOG_THROW(actionModuleSetPair != this->actionIndicesToModuleIndexMap.end(), storm::exceptions::OutOfRangeException, "Action with index '" << actionIndex << "' does not exist."); return actionModuleSetPair->second; }