assign value to attributed variable

2009-10-16 08:32:03 +01:00 · 2009-10-16 08:32:03 +01:00 · ff31aa4a7c
commit ff31aa4a7c
parent 0f4b64d199
1 changed files with 1 additions and 1 deletions
--- a/library/atts.yap
+++ b/library/atts.yap
@ -169,7 +169,7 @@ woken_att_do(AttVar, Binding) :-
 	->
 	  unbind_attvar(AttVar)
 	;
-	  true
+	  bind_attvar(AttVar)
 	),
 	do_hook_attributes(SWIAtts, Binding),
 	lcall(NGoals).