From: Mark Thom <mark.thom@unb.ca>
Date: Sun, 6 Sep 2020 00:07:58 +0000 (-0600)
Subject: preface the 'spelling error' with an explainer comment (#687)
X-Git-Tag: v0.9.0~174^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d677d3d2ef27f2984dd25229bd4409a55f612acd;p=scryer-prolog.git

preface the 'spelling error' with an explainer comment (#687)
---

diff --git a/src/lib/tabling/batched_worklist.pl b/src/lib/tabling/batched_worklist.pl
index f39f8422..99f0619b 100644
--- a/src/lib/tabling/batched_worklist.pl
+++ b/src/lib/tabling/batched_worklist.pl
@@ -161,6 +161,8 @@ wkl_p_swap_answer_continuation(Worklist,InnerAnswerClusterPointer,SuspensionClus
   wkl_p_update_righmost_inner_answer_cluster_pointer(Worklist,InnerAnswerClusterPointer).
 
 % Update the pointer if the answer cluster it points to is no longer the rightmost inner answer cluster.
+% Strangely, this predicate was intentionally named "wkl_p_update_righmost_inner_answer_cluster_pointer"
+% in the original library.
 wkl_p_update_righmost_inner_answer_cluster_pointer(Worklist,InnerAnswerClusterPointer) :-
   ( wkl_p_answer_cluster_currently_moved_completely(Worklist,InnerAnswerClusterPointer) ->
     wkl_p_find_new_rightmost_inner_answer_cluster_pointer(Worklist,InnerAnswerClusterPointer,NewRiacPointer),