From 0e78e4ea57c644e9877fafca574ae72f31acca27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 17 Apr 2020 03:30:32 +0200 Subject: [PATCH] Minor refactoring --- src/parse/formulas.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/parse/formulas.rs b/src/parse/formulas.rs index 83d5c11..8885935 100644 --- a/src/parse/formulas.rs +++ b/src/parse/formulas.rs @@ -269,9 +269,8 @@ fn quantified_formula<'i, 'b, 'v>(i: &'i str, d: &Declarations, return Err(nom::Err::Failure((i, nom::error::ErrorKind::Many1))); } - let v2 = crate::VariableDeclarationStackLayer::Bound( - crate::BoundVariableDeclarations::new(v, - std::rc::Rc::clone(&variable_declarations))); + let v2 = crate::VariableDeclarationStackLayer::bound(v, + std::rc::Rc::clone(&variable_declarations)); let (i, argument) = formula_precedence_0(i, d, &v2)?;