From 0f97eb89db5e34e7fdeea61b54db48a08b5a71b5 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 22 Aug 2018 14:16:44 +0200
Subject: [PATCH] binary storm-gspn now exits with 0 if no gspnfile is given

---
 src/storm-gspn-cli/storm-gspn.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm-gspn-cli/storm-gspn.cpp b/src/storm-gspn-cli/storm-gspn.cpp
index 4308a1de8..9d6924297 100644
--- a/src/storm-gspn-cli/storm-gspn.cpp
+++ b/src/storm-gspn-cli/storm-gspn.cpp
@@ -69,7 +69,8 @@ int main(const int argc, const char **argv) {
 
         // parse gspn from file
         if (!gspnSettings.isGspnFileSet()) {
-            return -1;
+            // If no gspn file is given, nothing needs to be done.
+            return 0;
         }
         
         std::string constantDefinitionString = "";