From: Markus Triska <triska@metalevel.at>
Date: Thu, 4 Mar 2021 20:33:29 +0000 (+0100)
Subject: remove unnecessary argument
X-Git-Tag: v0.9.0~137^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c5749cbbb1728553480a989a266de90a854e381f;p=scryer-prolog.git

remove unnecessary argument
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index fe9c7d27..a9c8c32f 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -502,13 +502,13 @@ body_(Body, C, I, VNs) -->
         { C1 is I + 3 },
         body_(If, C1, C1, VNs), " ->\n",
         body_(Then, 0, C1, VNs), "\n",
-        else_branch(Else, C1, I, VNs).
+        else_branch(Else, I, VNs).
 body_((A;B), C, I, VNs) --> !,
         indent_to(C, I),
         "(  ",
         { C1 is I + 3 },
         body_(A, C1, C1, VNs), "\n",
-        else_branch(B, C1, I, VNs).
+        else_branch(B, I, VNs).
 body_(Goal, C, I, VNs) -->
         indent_to(C, I), literal(Goal, VNs).
 
@@ -520,14 +520,14 @@ body_if_then_else(Body, If, Then, Else) :-
         nonvar(A),
         A = (If -> Then).
 
-else_branch(Else, C, I, VNs) -->
+else_branch(Else, I, VNs) -->
         indent_to(0, I),
         ";  ",
+        { C is I + 3 },
         (   { body_if_then_else(Else, If, Then, NextElse) } ->
-            { C1 is I + 3 },
-            body_(If, C1, C1, VNs), " ->\n",
-            body_(Then, 0, C1, VNs), "\n",
-            else_branch(NextElse, C1, I, VNs)
+            body_(If, C, C, VNs), " ->\n",
+            body_(Then, 0, C, VNs), "\n",
+            else_branch(NextElse, I, VNs)
         ;   body_(Else, C, C, VNs), "\n",
             indent_to(0, I),
             ")"