Remove unnecessary mutability

2019-05-08 14:09:33 +08:00
parent 6240f04769
commit 580dc761d5
6 changed files with 9 additions and 9 deletions
--- a/src/prolog/machine/toplevel.rs
+++ b/src/prolog/machine/toplevel.rs
@@ -372,7 +372,7 @@ fn flatten_hook(mut term: Term) -> Term {
                    _ => None
                };

-                if let Some(mut inner_term) = inner_term {
+                if let Some(inner_term) = inner_term {
                    mem::swap(&mut terms[0], &mut Box::new(inner_term));
                }
            },