From 2a6ca6b92fe3bd23d6f1389b9010f1b94e77f736 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 19:57:31 +0200
Subject: [PATCH] Fixed a dimension bug in the labeling Parser

Former-commit-id: 40f961cd6daa7c451dd39be936da1ed7c66307d4
---
 src/parser/NondeterministicModelParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<double> parseNondeterministicModel(st
 	NondeterministicSparseTransitionParserResult_t nondeterministicSparseTransitionParserResult = storm::parser::NondeterministicSparseTransitionParser(transitionSystemFile);
 	storm::storage::SparseMatrix<double> resultTransitionSystem = nondeterministicSparseTransitionParserResult.first;
 
-	uint_fast64_t stateCount = resultTransitionSystem.getRowCount();
+	uint_fast64_t stateCount = resultTransitionSystem.getColumnCount();
 
 	storm::models::AtomicPropositionsLabeling resultLabeling = storm::parser::AtomicPropositionLabelingParser(stateCount, labelingFile);