From 34400afd8e1a14efaf3aa81d87c7590bfe152a60 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 26 Feb 2010 10:38:56 +0000
Subject: [PATCH] disallow abolish(_).

---
 pl/preds.yap | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pl/preds.yap b/pl/preds.yap
index d57108292..54ad06722 100644
--- a/pl/preds.yap
+++ b/pl/preds.yap
@@ -503,6 +503,10 @@ abolish(N,A) :-
 		( '$is_dynamic'(T, M) -> '$abolishd'(T,M) ;
 	      	 /* else */	      '$abolishs'(T,M) ).
 
+abolish(V) :- var(V), !,
+	'$do_error'(instantiation_error,abolish(V)).
+abolish(Mod:V) :- var(V), !,
+	'$do_error'(instantiation_error,abolish(M:V)).
 abolish(M:X) :- !,
 	'$abolish'(X,M).
 abolish(X) :-