From d92951ba5b8b5802ff049a0c8c76b351274254c0 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 4 Mar 2021 21:38:39 +0100
Subject: [PATCH] ENHANCED: more readable indentation of nested disjunctions

Example:

    ?- portray_clause((h :- a ; b ; c)).
    h :-
       (  a
       ;  b
       ;  c
       ).
       true.
---
 src/lib/format.pl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/lib/format.pl b/src/lib/format.pl
index a9c8c32f..823c700c 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -528,6 +528,9 @@ else_branch(Else, I, VNs) -->
             body_(If, C, C, VNs), " ->\n",
             body_(Then, 0, C, VNs), "\n",
             else_branch(NextElse, I, VNs)
+        ;   { nonvar(Else), Else = ( A ; B ) } ->
+            body_(A, C, C, VNs), "\n",
+            else_branch(B, I, VNs)
         ;   body_(Else, C, C, VNs), "\n",
             indent_to(0, I),
             ")"
-- 
2.54.0