diff --git a/src/prolog/machine/mod.rs b/src/prolog/machine/mod.rs index 64bc4dd9..8ee64136 100644 --- a/src/prolog/machine/mod.rs +++ b/src/prolog/machine/mod.rs @@ -150,7 +150,15 @@ impl SubModuleUser for IndexStore { fn insert_dir_entry(&mut self, name: ClauseName, arity: usize, idx: CodeIndex) { if let Some(ref code_idx) = self.code_dir.get(&(name.clone(), arity)) { if !code_idx.is_undefined() { - println!("Warning: overwriting {}/{}", &name, arity); + match (name.as_str(), arity) { + ("term_expansion", 2) => { + } + ("goal_expansion", 2) => { + } + _ => { + println!("Warning: overwriting {}/{}", &name, arity); + } + } } let (p, module_name) = idx.0.borrow().clone(); diff --git a/src/prolog/machine/term_expansion.rs b/src/prolog/machine/term_expansion.rs index 969e00c2..94ad5951 100644 --- a/src/prolog/machine/term_expansion.rs +++ b/src/prolog/machine/term_expansion.rs @@ -380,7 +380,7 @@ impl MachineState { self.reset_with_heap_preservation(); - Some(output.result())) + Some(output.result()) } } }