diff --git a/pl/preds.yap b/pl/preds.yap index 8519c6828..083eb5f57 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -345,6 +345,8 @@ retractall(V) :- !, '$recordedp'(M:T,_,_), fail. '$erase_all_clauses_for_dynamic'(_,_). +abolish(Mod:N,A) :- !, + '$abolish'(N,A,Mod). abolish(N,A) :- '$current_module'(Mod), '$abolish'(N,A,Mod).