Minor tidyup and some more comments

1 files changed, 3 insertions, 12 deletions

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;