From 6d1015afcfc5272caec6f703a224cbc051d7720e Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 16 Jan 2002 20:31:00 +0000 Subject: [PATCH] fix missing cut in abolish git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@302 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/preds.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/preds.yap b/pl/preds.yap index 8f407979c..98bde78bc 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -442,7 +442,7 @@ abolish(X) :- '$old_abolish'(N,M). '$old_abolish'([], _) :- !. '$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). '$old_abolish'(T, M) :- throw(error(type_error(predicate_indicator,T),abolish(M:T))).