diff --git a/pl/boot.yap b/pl/boot.yap index 85a44befc..cb85aa16f 100755 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1255,7 +1255,7 @@ throw(Ball) :- '$notrace'(G) :- '$execute'(G). -'$oncenotrace'(M:G) :- +'$oncenotrace'(G) :- '$disable_creep', !, ( '$execute'(G)