patrick/anthem-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-02-04 15:15:11 +01:00
parent c40042baf6
commit a9ef9d2496
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/translate/verify_properties.rs
View File

@ -464,11 +464,9 @@ fn read_rule(rule: &clingo::ast::Rule, context: &Context) -> Result<(), crate::E
context.variable_declaration_stack.borrow_mut().pop(); context.variable_declaration_stack.borrow_mut().pop();
let mut free_variable_declarations = vec![]; let free_variable_declarations = std::mem::replace(
std::mem::swap(
&mut context.variable_declaration_stack.borrow_mut().free_variable_declarations, &mut context.variable_declaration_stack.borrow_mut().free_variable_declarations,
&mut free_variable_declarations); vec![]);
let definition = match definition_arguments.len() let definition = match definition_arguments.len()
{ {
@ -492,11 +490,9 @@ fn read_rule(rule: &clingo::ast::Rule, context: &Context) -> Result<(), crate::E
{ {
let mut arguments = translate_body(rule.body(), context)?; let mut arguments = translate_body(rule.body(), context)?;
let mut free_variable_declarations = vec![]; let free_variable_declarations = std::mem::replace(
std::mem::swap(
&mut context.variable_declaration_stack.borrow_mut().free_variable_declarations, &mut context.variable_declaration_stack.borrow_mut().free_variable_declarations,
&mut free_variable_declarations); vec![]);
let formula = match arguments.len() let formula = match arguments.len()
{ {