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(); if (input.isPrismInputSet()) { processPrismInput(); - } else { - STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Could not find a supported input format."); } } }