Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
infradig committed Dec 1, 2024
1 parent 22eef41 commit aee8c8c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion library/builtins.pl
Original file line number Diff line number Diff line change
Expand Up @@ -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),
Expand Down

0 comments on commit aee8c8c

Please sign in to comment.