diff --git a/library/builtins.pl b/library/builtins.pl
index 7772e505e..619f7fe88 100644
--- a/library/builtins.pl
+++ b/library/builtins.pl
@@ -719,7 +719,7 @@
 	print_goals_(Goals).
 
 dump_attvars_([], []).
-dump_attvars_([Var2|Vars], [Gs|Rest]) :-
+dump_attvars_([Var|Vars], [Gs|Rest]) :-
 	copy_term(Var, Var2, Gs),
 	Var = Var2,
 	dump_attvars_(Vars, Rest).