From f6eed5355071bc950888ff25420f3e76aa03f94a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 14 Oct 2017 02:09:19 +0200
Subject: [PATCH] Minor formatting.

---
 app/src/plasp-app/OptionGroups.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/plasp-app/OptionGroups.cpp b/app/src/plasp-app/OptionGroups.cpp
index 57daf05..3f2ef52 100644
--- a/app/src/plasp-app/OptionGroups.cpp
+++ b/app/src/plasp-app/OptionGroups.cpp
@@ -83,7 +83,7 @@ void OptionGroupParser::addTo(cxxopts::Options &options)
 		("parsing-mode", "Parsing mode (strict, compatibility)", cxxopts::value<std::string>()->default_value("strict"))
 		("l,language", "Input language (pddl, sas, auto)", cxxopts::value<std::string>()->default_value("auto"));
 	options.parse_positional("input");
-	options.positional_help("[<input_file...>]");
+	options.positional_help("[<input file...>]");
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////