From 929a694a64db42a61ac461934ea22a4794d266e6 Mon Sep 17 00:00:00 2001 From: Mavo Date: Wed, 18 May 2016 11:10:40 +0200 Subject: [PATCH] Fixed typo Former-commit-id: 0f880c7e52dd19115741cbdb03adf4bd517084ea --- src/builder/ExplicitDFTModelBuilder.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/builder/ExplicitDFTModelBuilder.cpp b/src/builder/ExplicitDFTModelBuilder.cpp index 74b460e8c..4fb6131df 100644 --- a/src/builder/ExplicitDFTModelBuilder.cpp +++ b/src/builder/ExplicitDFTModelBuilder.cpp @@ -435,7 +435,7 @@ namespace storm { STORM_LOG_TRACE("State " << mDft.getStateString(state) << " with id " << stateId << " already exists"); // Check if possible pseudo state can be created now - STORM_LOG_ASSERT(stateID >= OFFSET_PSEUDO_STATE, "State is no pseudo state."); + STORM_LOG_ASSERT(stateId >= OFFSET_PSEUDO_STATE, "State is no pseudo state."); stateId -= OFFSET_PSEUDO_STATE; STORM_LOG_ASSERT(stateId < mPseudoStatesMapping.size(), "Pseudo state not known."); if (mPseudoStatesMapping[stateId].first == 0) {