Skip to content

Commit

Permalink
FIXED: print_term/2: indentation of right argument of infix term.
Browse files Browse the repository at this point in the history
  • Loading branch information
JanWielemaker committed Oct 8, 2024
1 parent 36cc08b commit f765db1
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions library/pprint.pl
Original file line number Diff line number Diff line change
Expand Up @@ -431,7 +431,8 @@
; modify_context(Ctx2, [priority=Left], Ctx3),
pp(Arg1, Ctx3, Options),
format(Out, '~w~w~w', [Space,QName,Space]),
modify_context(Ctx2, [priority=Right], Ctx4),
line_position(Out, NIndent),
modify_context(Ctx2, [priority=Right, indent=NIndent], Ctx4),
pp(Arg2, Ctx4, Options)
)
; ( ToWide == true,
Expand All @@ -441,7 +442,7 @@
format(Out, '( ', []),
NIndent is Indent + 2,
modify_context(Ctx2,
[space=Space, indent=NIndent, priority=Pri],
[space=Space, indent=NIndent, priority=Pri],
Ctx3),
pp_infix_list(List, QName, 0, Ctx3, Options),
indent(Out, Indent, Options),
Expand Down

0 comments on commit f765db1

Please sign in to comment.