From 18798f79509cde8f8badc3d04afb79ed05081d33 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 12 May 2017 11:23:44 +0200
Subject: [PATCH] An  existing file is also writable

---
 src/storm/settings/ArgumentValidators.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/storm/settings/ArgumentValidators.cpp b/src/storm/settings/ArgumentValidators.cpp
index 13a1792b5..b8896590d 100644
--- a/src/storm/settings/ArgumentValidators.cpp
+++ b/src/storm/settings/ArgumentValidators.cpp
@@ -86,9 +86,6 @@ namespace storm {
                 
                 return true;
             } else if (mode == Mode::Writable) {
-                struct stat info;
-                STORM_LOG_THROW(stat (filename.c_str(), &info) != 0, storm::exceptions::IllegalArgumentValueException , "Could not open file '" << filename << "' for writing because file or directory already exists.");
-                
                 std::ofstream filestream(filename);
                 STORM_LOG_THROW(filestream.is_open(), storm::exceptions::IllegalArgumentValueException , "Could not open file '" << filename << "' for writing.");
                 filestream.close();