From 00886e535241a994b71ca1ce62f24f5f11ec9255 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 24 Jan 2026 20:17:20 +1300
Subject: Minor tidyup and some more comments

---
 src/kompsos.adb | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

(limited to 'src/kompsos.adb')

diff --git a/src/kompsos.adb b/src/kompsos.adb
index 97e8ce6..4513706 100644
--- a/src/kompsos.adb
+++ b/src/kompsos.adb
@@ -384,18 +384,9 @@ package body Kompsos is
         elsif Inputs'Length = 1 then
             return Inputs (Inputs'First);
         else
-            declare
-                Rest : constant Goal := Disjunct (Inputs (Inputs'First + 1 .. Inputs'Last));
-            begin
-                return Result : constant Goal :=
-                   (Graph    => (Ada.Finalization.Controlled with
-                        Actual => new Graph_Component'(
-                           (Kind      => Disjunct_Node,
-                            Counter   => 1,
-                            Dis_Goal1 => Inputs (Inputs'First).Graph,
-                            Dis_Goal2 => Rest.Graph))),
-                    Next_Var => Variable'Max (Inputs (Inputs'First).Next_Var, Rest.Next_Var));
-            end;
+            return Disjunct
+               (Inputs (Inputs'First),
+                Disjunct (Inputs (Inputs'First + 1 .. Inputs'Last)));
         end if;
     end Disjunct;
 
-- 
cgit