States are now custom linked lists

1 files changed, 12 insertions, 4 deletions

diff --git a/src/kompsos-collector.adb b/src/kompsos-collector.adb
index c8333cf..4654dc7 100644
--- a/src/kompsos-collector.adb
+++ b/src/kompsos-collector.adb
@@ -95,13 +95,21 @@ package body Kompsos.Collector is
 
         --  Unify Variable and other Terms by introducing a new substitution
         if Real_Left.Kind = Var_Term then
-            Extended := Potential;
-            Extended.Actual.Append ((Real_Left.Var, Real_Right));
+            Extended := (Ctrl => (Ada.Finalization.Controlled with
+                Actual => new State_Component'(
+                    Counter => 1,
+                    Key     => Real_Left.Var,
+                    Value   => Real_Right,
+                    Next    => Potential)));
             return True;
         end if;
         if Real_Right.Kind = Var_Term then
-            Extended := Potential;
-            Extended.Actual.Append ((Real_Right.Var, Real_Left));
+            Extended := (Ctrl => (Ada.Finalization.Controlled with
+                Actual => new State_Component'(
+                    Counter => 1,
+                    Key     => Real_Right.Var,
+                    Value   => Real_Left,
+                    Next    => Potential)));
             return True;
         end if;