From 81025757f83ae7e3f60d89ce00e83e1af48c31b3 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Thu, 6 Jun 2013 14:50:40 +0200
Subject: [PATCH] Minor fix (Changed function name)

---
 resources/3rdparty/ltl2dstar-0.5.1/src/Makefile      | 2 +-
 src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile b/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
index 2228f1a7b..fb906d693 100644
--- a/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
+++ b/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
@@ -1,4 +1,4 @@
-GPP = g++
+GPP = clang++
 
 #DEFINES  =
 #DEBUGFLAGS = -g -fno-default-inline -fkeep-inline-functions
diff --git a/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h b/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
index 418724e3a..e48046aa7 100644
--- a/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
+++ b/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
@@ -418,7 +418,7 @@ public:
             
             // Initialize the x vector with 1 for each element. This is the initial guess for
             // the iterative solvers.
-            std::vector<Type> x(submatrix.getColCount(), storm::utility::constGetOne<Type>());
+            std::vector<Type> x(submatrix.getColumnCount(), storm::utility::constGetOne<Type>());
             
             // Prepare the right-hand side of the equation system.
             std::vector<Type> b(submatrix.getRowCount());