abolishall should succeed if there are no clauses.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@209 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-12-02 16:46:50 +00:00
parent 80e5fc7285
commit 467fbe977d

View File

@ -331,8 +331,7 @@ retractall(V) :- !,
'$retractall'(T,M) :-
'$undefined'(T,M),
functor(T,Na,Ar),
'$dynamic'(Na/Ar,M), !,
fail.
'$dynamic'(Na/Ar,M), !.
'$retractall'(T,M) :-
\+ '$is_dynamic'(T,M), !,
functor(T,Na,Ar),