fix abolish(a:_) (old mode).

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@244 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-12-28 16:42:18 +00:00
parent b30535b520
commit 4ae64918e0

View File

@ -449,13 +449,13 @@ abolish(X) :-
throw(error(type_error(predicate_indicator,T),abolish(M:T))). throw(error(type_error(predicate_indicator,T),abolish(M:T))).
'$abolish_all_old'(M) :- '$abolish_all_old'(M) :-
'$current_predicate'(Mod,Na,Ar), '$current_predicate'(M, Na, Ar),
'$abolish'(Na, Ar, Mod), '$abolish'(Na, Ar, M),
fail. fail.
'$abolish_all_old'. '$abolish_all_old'(_).
'$abolish_all_atoms_old'(Na, M) :- '$abolish_all_atoms_old'(Na, M) :-
'$current_predicate'(M,Na,Ar), '$current_predicate'(M, Na, Ar),
'$abolish'(Na, Ar, M), '$abolish'(Na, Ar, M),
fail. fail.
'$abolish_all_atoms_old'(_,_). '$abolish_all_atoms_old'(_,_).