From: Mark <markjordanthom@gmail.com>
Date: Tue, 27 Jun 2023 16:41:15 +0000 (-0600)
Subject: fix builtin_predicate (#1819)
X-Git-Tag: v0.9.2~113
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ce890799bc438bee87a95edc36701014be9836c8;p=scryer-prolog.git

fix builtin_predicate (#1819)
---

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;
     }
 }