From d343943cbd6be88d8e69a86f92478a40e41f7bbd Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 30 Jul 2018 10:15:28 +0200
Subject: [PATCH] storm-conv should not fail if no input arguments were given

---
 src/storm-conv-cli/storm-conv.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm-conv-cli/storm-conv.cpp b/src/storm-conv-cli/storm-conv.cpp
index 2c24a8721..211c727d0 100644
--- a/src/storm-conv-cli/storm-conv.cpp
+++ b/src/storm-conv-cli/storm-conv.cpp
@@ -113,8 +113,6 @@ namespace storm {
             auto const& input = storm::settings::getModule<storm::settings::modules::ConversionInputSettings>();
             if (input.isPrismInputSet()) {
                 processPrismInput();
-            } else {
-                STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Could not find a supported input format.");
             }
         }
     }