From ce890799bc438bee87a95edc36701014be9836c8 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 27 Jun 2023 10:41:15 -0600 Subject: [PATCH] fix builtin_predicate (#1819) --- src/machine/loader.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/machine/loader.rs b/src/machine/loader.rs index 3e9ae50e..5a309197 100644 --- a/src/machine/loader.rs +++ b/src/machine/loader.rs @@ -2475,11 +2475,10 @@ impl Machine { if !ClauseType::is_inbuilt(name, arity) { // ClauseType::from(key.0, key.1, &mut self.machine_st.arena) { if let Some(module) = self.indices.modules.get(&(atom!("builtins"))) { self.machine_st.fail = !module.code_dir.contains_key(&(name, arity)); - return; + } else { + self.machine_st.fail = true; } } - - self.machine_st.fail = true; } } -- 2.54.0