diff --git a/library/builtins.pl b/library/builtins.pl index d2dd2202..9027079c 100644 --- a/library/builtins.pl +++ b/library/builtins.pl @@ -200,7 +200,7 @@ term_attributed_variables(Copy, Vs), collect_goals_(Vs, [], Gs). -:- help(copy_term(+term,?term,+list), [iso(false)]). +:- help(copy_term(+term,?term,-list), [iso(false)]). term_variables(P1, P2, P3) :- term_variables(P1, P4),