From 170cde6a826bd417ccab00dff33407fc73aec718 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 18 May 2020 06:00:41 +0200
Subject: [PATCH] Fix parsing right-to-left implication

---
 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 db4669e..0bf8f23 100644
--- a/src/parse/formulas.rs
+++ b/src/parse/formulas.rs
@@ -245,7 +245,7 @@ where
 							let argument = FormulaStr::new(argument?, self.declarations, self.variable_declaration_stack).parse(level + 1)?;
 
 							Ok(crate::Formula::implies(crate::ImplicationDirection::RightToLeft,
-								Box::new(accumulator), Box::new(argument)))
+								Box::new(argument), Box::new(accumulator)))
 						});
 				},
 			}