diff --git a/pl/preds.yap b/pl/preds.yap index 8f3771ea7..dc2e8acb5 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -342,7 +342,7 @@ abolish(X) :- '$abolish_all' :- current_predicate(_,P), functor(P, Na, Ar), - '$new_abolish'(Na, Ar), + '$new_abolish'(Na/Ar), fail. '$abolish_all'.