fix missing cut in abolish
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@302 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
a203cec0f5
commit
6d1015afcf
@ -442,7 +442,7 @@ abolish(X) :-
|
|||||||
'$old_abolish'(N,M).
|
'$old_abolish'(N,M).
|
||||||
'$old_abolish'([], _) :- !.
|
'$old_abolish'([], _) :- !.
|
||||||
'$old_abolish'([H|T], M) :- !, '$old_abolish'(H, M), '$old_abolish'(T, M).
|
'$old_abolish'([H|T], M) :- !, '$old_abolish'(H, M), '$old_abolish'(T, M).
|
||||||
'$old_abolish'(N/A, M) :-
|
'$old_abolish'(N/A, M) :- !,
|
||||||
'$abolish'(N, A, M).
|
'$abolish'(N, A, M).
|
||||||
'$old_abolish'(T, M) :-
|
'$old_abolish'(T, M) :-
|
||||||
throw(error(type_error(predicate_indicator,T),abolish(M:T))).
|
throw(error(type_error(predicate_indicator,T),abolish(M:T))).
|
||||||
|
Reference in New Issue
Block a user