From 9076ecd95ddd0e0244a8d3782d43b4708f0f05b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 5 Nov 2019 15:53:42 -0600 Subject: [PATCH] Allow negated quantified expressions without parentheses --- src/parse.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/parse.rs b/src/parse.rs index c075470..0e81d0c 100644 --- a/src/parse.rs +++ b/src/parse.rs @@ -518,7 +518,7 @@ fn exists(i: &str) -> IResult<&str, crate::Formula> tag(","), variable_declaration ), - formula_precedence_1 + formula_precedence_2 ) ), whitespace0 @@ -553,7 +553,7 @@ fn for_all(i: &str) -> IResult<&str, crate::Formula> tag(","), variable_declaration ), - formula_precedence_1 + formula_precedence_2 ) ), whitespace0