From b516396977d210657600243c82792e185784d606 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 20 Apr 2020 02:57:32 +0200 Subject: [PATCH] Fix parsing nested quantified formulas --- 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 aae31a0..b1f1699 100644 --- a/src/parse/formulas.rs +++ b/src/parse/formulas.rs @@ -265,7 +265,7 @@ where let bound_variable_declarations = crate::VariableDeclarationStackLayer::bound(v, std::rc::Rc::clone(&variable_declarations)); - let (i, argument) = formula_precedence_0(i, d, &bound_variable_declarations)?; + let (i, argument) = formula_precedence_2(i, d, &bound_variable_declarations)?; Ok((i, crate::QuantifiedFormula::new(variable_declarations, Box::new(argument)))) }