diff --git a/apps/plasp-app/main.cpp b/apps/plasp-app/main.cpp index f40fc60..ea9040f 100644 --- a/apps/plasp-app/main.cpp +++ b/apps/plasp-app/main.cpp @@ -69,14 +69,6 @@ int main(int argc, char **argv) if (variablesMap.count("input")) { const auto &inputFiles = variablesMap["input"].as>(); - - if (inputFiles.size() > 1) - { - std::cerr << "Error: Only one input file allowed for SAS translation" << std::endl; - printHelp(); - return EXIT_FAILURE; - } - const auto sasDescription = plasp::sas::Description::fromFile(inputFiles.front()); const auto sasTranslator = plasp::sas::TranslatorASP(sasDescription); sasTranslator.translate(std::cout);