From 8fbe798362160248e97e06b6ef61af44a55e2526 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 25 Dec 2017 00:29:42 -0700 Subject: [PATCH] correction to -> offset --- src/prolog/builtins.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/prolog/builtins.rs b/src/prolog/builtins.rs index cb81fd3a..8b47f093 100644 --- a/src/prolog/builtins.rs +++ b/src/prolog/builtins.rs @@ -161,7 +161,7 @@ fn get_builtins() -> Code { query![put_value!(perm_v!(1), 1)], deallocate!(), execute_n!(1), - allocate!(2), // (->)/2, 124. + allocate!(2), // (->)/2, 125. get_level!(), fact![get_var_in_fact!(perm_v!(2), 2)], call_n!(1), @@ -235,7 +235,7 @@ pub fn build_code_dir() -> (Code, CodeDir, OpDir) code_dir.insert((String::from(";"), 2), (PredicateKeyType::BuiltIn, 76)); code_dir.insert((String::from(","), 2), (PredicateKeyType::BuiltIn, 81)); - code_dir.insert((String::from("->"), 2), (PredicateKeyType::BuiltIn, 124)); + code_dir.insert((String::from("->"), 2), (PredicateKeyType::BuiltIn, 125)); (builtin_code, code_dir, op_dir) } -- 2.54.0