get rid of nasty choicepoint in eraseall.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@766 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
ce47ad0085
commit
96a8d96054
@ -348,9 +348,9 @@ retract(C,R) :-
|
|||||||
functor(C, Na, Ar).
|
functor(C, Na, Ar).
|
||||||
|
|
||||||
|
|
||||||
retractall(M:V) :-
|
retractall(M:V) :- !,
|
||||||
'$retractall'(V,M).
|
'$retractall'(V,M).
|
||||||
retractall(V) :- !,
|
retractall(V) :-
|
||||||
'$current_module'(M),
|
'$current_module'(M),
|
||||||
'$retractall'(V,M).
|
'$retractall'(V,M).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user