From f765db13d9f2d1b530a82281d82bde6001996b22 Mon Sep 17 00:00:00 2001 From: Jan Wielemaker Date: Tue, 8 Oct 2024 11:47:36 +0200 Subject: [PATCH] FIXED: print_term/2: indentation of right argument of infix term. --- library/pprint.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/library/pprint.pl b/library/pprint.pl index 90cb93a429..faf05a273d 100644 --- a/library/pprint.pl +++ b/library/pprint.pl @@ -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, @@ -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),