From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 25 Dec 2017 07:29:42 +0000 (-0700)
Subject: correction to -> offset
X-Git-Tag: v0.8.110~644
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8fbe798362160248e97e06b6ef61af44a55e2526;p=scryer-prolog.git

correction to -> offset
---

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