fix abolish in sicstus mode
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@223 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
6fd1a332d1
commit
7b71395f63
@ -369,7 +369,7 @@ abolish(X) :-
|
|||||||
'$current_module'(M),
|
'$current_module'(M),
|
||||||
'$old_abolish'(X,M).
|
'$old_abolish'(X,M).
|
||||||
|
|
||||||
'$new_abolish'(V,M) :- var(V,N), !,
|
'$new_abolish'(V,M) :- var(V), !,
|
||||||
'$abolish_all'(M).
|
'$abolish_all'(M).
|
||||||
'$new_abolish'(M:PS,_) :- !,
|
'$new_abolish'(M:PS,_) :- !,
|
||||||
'$new_abolish'(PS,M).
|
'$new_abolish'(PS,M).
|
||||||
|
Reference in New Issue
Block a user