From a2268ab85b16d7a4f44ff7e40e1c869c6285c3e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 28 Apr 2020 02:36:47 +0200
Subject: [PATCH] Minor renaming

---
 src/parse/formulas.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parse/formulas.rs b/src/parse/formulas.rs
index b3d968b..4201eb1 100644
--- a/src/parse/formulas.rs
+++ b/src/parse/formulas.rs
@@ -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<_>, _>>()
 			};