From d677d3d2ef27f2984dd25229bd4409a55f612acd Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 5 Sep 2020 18:07:58 -0600 Subject: [PATCH] preface the 'spelling error' with an explainer comment (#687) --- src/lib/tabling/batched_worklist.pl | 2 ++ 1 file changed, 2 insertions(+) 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), -- 2.54.0