Slight refactor of final branch of Logarithm to use GTE

1 files changed, 1 insertions, 7 deletions

diff --git a/src/kompsos-math.adb b/src/kompsos-math.adb
index d46fe5d..0f2cc10 100644
--- a/src/kompsos-math.adb
+++ b/src/kompsos-math.adb
@@ -984,13 +984,7 @@ package body Kompsos.Math is
         --  I know what you're thinking. Clear as mud, right?
         --  Well unfortunately the original miniKanren Scheme isn't really any better.
         --  Needs a refactor or something at some point.
-        declare
-            function N is new Make_Fresh (Outputs (7));
-        begin
-            Outputs (7) := Disjunct
-               (Outputs (7).Unify (Base_Term, Build (3)),
-                Outputs (7).Unify (Base_Term, T (N, T (N, T (N, N)))));
-        end;
+        GTE (Outputs (7), Base_Term & Build (3));
         LT_Length (Outputs (7), Base_Term & Power_Term);
         declare
             BaseW1_Var   : constant Term := Outputs (7).Fresh;