Minor renaming

This commit is contained in:
Patrick Lühne 2020-04-28 02:36:47 +02:00
parent 451b887019
commit a2268ab85b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions

View File

@ -209,7 +209,7 @@ impl<'i> FormulaStr<'i>
{
// TODO: improve error handling if the formulas between the operators are invalid
self.split_at_logical_connective(top_level_logical_connective)
.map(|subformula| FormulaStr::new(subformula?).parse(level + 1))
.map(|argument| FormulaStr::new(argument?).parse(level + 1))
.collect::<Result<Vec<_>, _>>()
};