From f24491cd5a3d9c491587f2564a050db9914300dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 13 Jun 2016 15:01:23 +0200 Subject: [PATCH] Updated help message with PDDL support. --- apps/plasp-app/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/plasp-app/main.cpp b/apps/plasp-app/main.cpp index b0086f4..e018788 100644 --- a/apps/plasp-app/main.cpp +++ b/apps/plasp-app/main.cpp @@ -20,7 +20,7 @@ int main(int argc, char **argv) description.add_options() ("help,h", "Display this help message.") ("version,v", "Display version information.") - ("input,i", po::value>(), "Specify the SAS input file.") + ("input,i", po::value>(), "Specify the PDDL or SAS input file.") ("language,l", po::value(), "Specify the input language (SAS or PDDL). Omit for automatic detection.") ("warning-level", po::value()->default_value("normal"), "Specify whether to output warnings normally (normal), to treat them as critical errors (error), or to ignore them (ignore).");