From: Mark Thom Date: Tue, 18 Apr 2017 19:57:48 +0000 (-0600) Subject: minor tweaks. X-Git-Tag: v0.8.110~743 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2e7aa6423cb10028f8f9873f512397715b32a864;p=scryer-prolog.git minor tweaks. --- diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs index 30b5dcc2..b4ded35c 100644 --- a/src/prolog/codegen.rs +++ b/src/prolog/codegen.rs @@ -1119,11 +1119,11 @@ impl<'a> CodeGenerator<'a> { pub fn compile_predicate(&mut self, clauses: &'a Vec) -> Code { - let mut code = Vec::new(); + let mut code = Vec::new(); let split_pred = Self::split_predicate(clauses); let multi_seq = split_pred.len() > 1; - for &(l, r) in split_pred.iter() { + for (l, r) in split_pred { let mut code_segment = self.compile_pred_subseq(&clauses[l .. r]); if multi_seq {