From 35bbb9e7d11b0df0cf191266da4c89ae2197fc9b Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 27 Mar 2010 11:43:03 +0000
Subject: [PATCH] avoid binding attributed variables.

---
 pl/listing.yap | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pl/listing.yap b/pl/listing.yap
index 2d50a5396..589861773 100644
--- a/pl/listing.yap
+++ b/pl/listing.yap
@@ -170,6 +170,9 @@ portray_clause(_).
 	'$list_get_vars'(Args, M, N).
 
 '$list_transform'([],_) :- !.
+'$list_transform'([X|L],M) :-
+	attvar(X), !,
+	'$list_transform'(L,N).
 '$list_transform'([X,Y|L],M) :- X == Y, X = '$VAR'(M), !, N is M+1,
 			'$list_transform'(L,N).
 '$list_transform'('$VAR'(-1).L,M) :- !, '$list_transform'(L,M).