foamDictionary: Removed unused -case option

Resolves bug-report https://bugs.openfoam.org/view.php?id=2974
This commit is contained in:
Henry Weller
2018-06-11 10:33:59 +01:00
parent a2d222b3eb
commit dc2c1e2d6d

View File

@ -240,6 +240,7 @@ int main(int argc, char *argv[])
{ {
writeInfoHeader = false; writeInfoHeader = false;
argList::removeOption("case");
argList::addNote("manipulates dictionaries"); argList::addNote("manipulates dictionaries");
argList::validArgs.append("dictionary file"); argList::validArgs.append("dictionary file");
argList::addBoolOption("keywords", "list keywords"); argList::addBoolOption("keywords", "list keywords");