sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Fixed typo 

Former-commit-id: 0f880c7e52
tempestpy_adaptions
Mavo 9 years ago
parent
c8521f0de3
commit
929a694a64
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      src/builder/ExplicitDFTModelBuilder.cpp

2
src/builder/ExplicitDFTModelBuilder.cpp
View File

@ -435,7 +435,7 @@ namespace storm {
STORM_LOG_TRACE("State " << mDft.getStateString(state) << " with id " << stateId << " already exists"); STORM_LOG_TRACE("State " << mDft.getStateString(state) << " with id " << stateId << " already exists");
// Check if possible pseudo state can be created now // 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; stateId -= OFFSET_PSEUDO_STATE;
STORM_LOG_ASSERT(stateId < mPseudoStatesMapping.size(), "Pseudo state not known."); STORM_LOG_ASSERT(stateId < mPseudoStatesMapping.size(), "Pseudo state not known.");
if (mPseudoStatesMapping[stateId].first == 0) { if (mPseudoStatesMapping[stateId].first == 0) {

Write Preview
Loading…
Cancel
Save