diff --git a/src/parser/NondeterministicModelParser.cpp b/src/parser/NondeterministicModelParser.cpp index 91b44ee1f..228e45b57 100644 --- a/src/parser/NondeterministicModelParser.cpp +++ b/src/parser/NondeterministicModelParser.cpp @@ -32,7 +32,7 @@ NondeterministicModelParserResultContainer parseNondeterministicModel(st NondeterministicSparseTransitionParserResult_t nondeterministicSparseTransitionParserResult = storm::parser::NondeterministicSparseTransitionParser(transitionSystemFile); storm::storage::SparseMatrix resultTransitionSystem = nondeterministicSparseTransitionParserResult.first; - uint_fast64_t stateCount = resultTransitionSystem.getRowCount(); + uint_fast64_t stateCount = resultTransitionSystem.getColumnCount(); storm::models::AtomicPropositionsLabeling resultLabeling = storm::parser::AtomicPropositionLabelingParser(stateCount, labelingFile);