diff --git a/apps/plasp-app/main.cpp b/apps/plasp-app/main.cpp index dd43531..384da37 100644 --- a/apps/plasp-app/main.cpp +++ b/apps/plasp-app/main.cpp @@ -33,7 +33,7 @@ int main(int argc, char **argv) const auto printHelp = [&]() { - std::cout << "Usage: plasp file [options]" << std::endl; + std::cout << "Usage: plasp [files] [options]" << std::endl; std::cout << "Translate PDDL instances to ASP facts." << std::endl << std::endl; std::cout << description;