From f065e9359bd76998975b2617bc6a874d6171329d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 8 May 2009 00:01:09 -0400
Subject: [PATCH] hProlog semantics requires checking *every* existing
 attributed variable (broken in recent patch).

---
 pl/corout.yap | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pl/corout.yap b/pl/corout.yap
index c4242f535..a55574505 100644
--- a/pl/corout.yap
+++ b/pl/corout.yap
@@ -609,7 +609,8 @@ call_residue(Goal,Residue) :-
 	'$pick_vars_for_project'(LIV, NLIV),
 	'$project_module'(LMods, NLIV, [V|LAV]),
 	'$convert_att_vars'(NLIV, LGs),
-	'$call_attribute_goals'(NLIV, LGs1, LGs),
+	attributes:all_attvars(NLAV),
+	'$call_attribute_goals'(NLAV, LGs1, LGs),
 	'$fetch_delays'([V|LAV], LDs, LGs1).
 
 '$pick_vars_for_project'([],[]).