From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 3 Feb 2018 19:24:43 +0000 (-0700)
Subject: fix arg_ bug.
X-Git-Tag: v0.8.110~584
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b99f5064f067a4f547b797801ff1eb48dc9d5882;p=scryer-prolog.git

fix arg_ bug.
---

diff --git a/src/prolog/builtins.rs b/src/prolog/builtins.rs
index dad17509..c9555b26 100644
--- a/src/prolog/builtins.rs
+++ b/src/prolog/builtins.rs
@@ -240,7 +240,7 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
                                None),
                 set_constant!(atom!("integer_expected", atom_tbl))],
          goto_execute!(59, 1), // goto throw/1.
-         try_me_else!(5), // arg_/3, 173.
+         try_me_else!(5), // arg_/5, 173.
          fact![get_value!(temp_v!(1), 2),
                get_value!(temp_v!(1), 3)],
          neck_cut!(),
@@ -273,7 +273,7 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
                 put_value!(perm_v!(3), 4),
                 put_value!(perm_v!(5), 5)],
          deallocate!(),
-         goto_execute!(173, 3), // goto arg_/3.
+         goto_execute!(173, 5), // goto arg_/5.
          display!(), // display/1, 192.
          proceed!(),
          dynamic_is!(), // is/2, 194.