From 0307007d279c074202b42e86a5bac8c5d45e04bf Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 27 Feb 2014 14:46:12 +0100
Subject: [PATCH] Fixed a non-ISOC++ Compliant call to getcwd

Former-commit-id: 2d1a3c8cbb5416d9be64b807d0ab4434cdc21c8b
---
 src/storm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm.cpp b/src/storm.cpp
index fadcb3db1..69cb0c454 100644
--- a/src/storm.cpp
+++ b/src/storm.cpp
@@ -141,7 +141,7 @@ void setUpFileLogging() {
 */
 std::string getCurrentWorkingDirectory() {
 	char temp[512];
-	return (getcwd(temp, 512 - 1) ? std::string(temp) : std::string(""));
+	return (_getcwd(temp, 512 - 1) ? std::string(temp) : std::string(""));
 }
 
 /*!