From ef53ed696b56f37f2a5408e26157238311ec6368 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 26 Oct 2010 10:07:34 +0100 Subject: [PATCH] allow uninstanted arguments in erased_statistics. --- pl/preds.yap | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pl/preds.yap b/pl/preds.yap index 8b8789465..875dc1b81 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -877,8 +877,9 @@ predicate_statistics(P,NCls,Sz,ISz) :- '$predicate_statistics'(P,M,NCls,Sz,ISz) :- '$static_pred_statistics'(P,M,NCls,Sz,ISz). -predicate_erased_statistics(V,NCls,Sz,ISz) :- var(V), !, - '$do_error'(instantiation_error,predicate_statistics(V,NCls,Sz,ISz)). +predicate_erased_statistics(P,NCls,Sz,ISz) :- + current_predicate(_,P), + predicate_erased_statistics(P,NCls,Sz,ISz). predicate_erased_statistics(M:P,NCls,Sz,ISz) :- !, '$predicate_erased_statistics'(M:P,NCls,Sz,_,ISz). predicate_erased_statistics(P,NCls,Sz,ISz) :-