From 23130134bb56ca440da8ed6e4139ce6b768f40da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 16 Nov 2017 18:11:38 +0100 Subject: [PATCH] Made translator descriptions more concise. --- CHANGELOG.md | 2 +- app/include/plasp-app/commands/CommandTranslate.h | 2 +- packaging/arch/PKGBUILD | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 3cc0f9c..07f6e78 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,7 +5,7 @@ ### Changes * introduces new command-line interface based on `plasp` subcommands: - * `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls) + * `plasp translate`: translate PDDL and SAS to ASP facts (replaces former, plain `plasp` calls) * `plasp normalize`: normalize PDDL to plasp’s custom PDDL format * `plasp check-syntax`: check the syntax of PDDL specifications * `plasp beautify`: cleanly format PDDL specifications diff --git a/app/include/plasp-app/commands/CommandTranslate.h b/app/include/plasp-app/commands/CommandTranslate.h index ce6e161..4504689 100644 --- a/app/include/plasp-app/commands/CommandTranslate.h +++ b/app/include/plasp-app/commands/CommandTranslate.h @@ -14,7 +14,7 @@ class CommandTranslate : public Command