diff --git a/pl/boot.yap b/pl/boot.yap index f2577c56b..fa002be94 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -79,7 +79,7 @@ true :- true. % encapsulate $cut_by because of co-routining. % - '$$cut_by'(X) :- '$cut_by'(X). + '$cut_by'(X) :- '$$cut_by'(X). % Start file for yap @@ -738,7 +738,7 @@ not(G) :- \+ '$execute'(G). '$call'(not(X), _CP, _G0, _M) :- !, \+ '$execute'(M:X). '$call'(!, CP, _,_) :- !, - '$$cut_by'(CP). + '$cut_by'(CP). '$call'([A|B], _, _, M) :- !, '$csult'([A|B], M). '$call'(G, CP, G0, CurMod) :- diff --git a/pl/debug.yap b/pl/debug.yap index 4776f71bb..45cef7b2c 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -390,7 +390,7 @@ debugging :- ( Det == true -> - '$$cut_by'(CP) + '$cut_by'(CP) ; true ),