correct queue_len += queue_len; to queue_len += queue.len(); (#416)

diff --git a/src/prolog/machine/compile.rs b/src/prolog/machine/compile.rs
index a8fad96761e068ad78427071b230a7274ccef6da..636fc67c601a7aef8354c5d240944c5d1b484526 100644 (file)
--- a/src/prolog/machine/compile.rs
+++ b/src/prolog/machine/compile.rs
@@ -904,22 +904,14 @@ impl ListingCompiler {
                 .entry(key.clone())
                 .or_insert((Predicate::new(), VecDeque::from(vec![])));
 
-            if let Some(ref mut module) = &mut self.module {
-                module.add_expansion_record(hook, clause.clone(), queue.clone());
-                module.add_local_expansion(hook, clause.clone(), queue.clone());
-            }
-
             len += 1;
-            queue_len += queue_len;
+            queue_len += queue.len();
 
-            (preds.0).0.push(clause.clone());
-            preds.1.extend(queue.iter().cloned());
+            (preds.0).0.push(clause);
+            preds.1.extend(queue.into_iter());
 
             (preds.0).0.extend((module_preds.0).0.iter().cloned());
             preds.1.extend(module_preds.1.iter().cloned());
-
-            (module_preds.0).0.push(clause);
-            module_preds.1.extend(queue.into_iter());
         }
 
         (len, queue_len)