patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Made the language command-line option lowercase for consistency.

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-14 18:42:29 +02:00
parent fcdd3bba2b
commit 52fee6a4c1
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/plasp/Language.cpp
View File

@@ -17,9 +17,9 @@ using LanguageNames = boost::bimap<Language::Type, std::string>;
////////////////////////////////////////////////////////////////////////////////////////////////////
const LanguageNames languageNames = boost::assign::list_of<LanguageNames::relation>
(Language::Type::PDDL, "PDDL")
(Language::Type::SAS, "SAS")
(Language::Type::Unknown, "Unknown");
(Language::Type::PDDL, "pddl")
(Language::Type::SAS, "sas")
(Language::Type::Unknown, "unknown");
////////////////////////////////////////////////////////////////////////////////////////////////////
@@ -28,7 +28,7 @@ std::string Language::toString(Language::Type language)
const auto match = languageNames.left.find(language);
if (match == languageNames.left.end())
return "Unknown";
return "unknown";
return match->second;
}