From dc27ab8aeb194c6e31d9e77f2d17009c239e23a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 6 Apr 2020 13:36:58 +0200
Subject: [PATCH] Fix

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

diff --git a/src/format/formulas.rs b/src/format/formulas.rs
index 4a131aa..ed6364d 100644
--- a/src/format/formulas.rs
+++ b/src/format/formulas.rs
@@ -86,7 +86,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula,
 				},
 			_ => false,
 		},
-		Formula::Or(formulas) => match *parent_formula
+		Formula::IfAndOnlyIf(formulas) => match *parent_formula
 		{
 			Formula::Not(_)
 			| Formula::Exists(_)