patrick/foliage-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Minor refactoring

Browse Source
This commit is contained in:
Patrick Lühne 2020-04-17 03:30:32 +02:00
parent 63c1931e30
commit 0e78e4ea57
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/parse/formulas.rs
View File

@ -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)?;