Refactor of evaluation using custom bookkeeping datatype instead of Maps

1 files changed, 2 insertions, 5 deletions

diff --git a/src/kompsos.ads b/src/kompsos.ads
index 9a00251..84b3ce2 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -9,7 +9,6 @@
 private with
 
     Ada.Containers.Indefinite_Holders,
-    Ada.Containers.Ordered_Maps,
     Ada.Containers.Vectors,
     Ada.Finalization;
 
@@ -415,10 +414,6 @@ private
 
 
 
-    type Term_Component;
-
-    type Term_Component_Access is access Term_Component;
-
     subtype Not_Null_Term_Kind is Term_Kind range Atom_Term .. Pair_Term;
 
     type Term_Component (Kind : Not_Null_Term_Kind) is limited record
@@ -434,6 +429,8 @@ private
         end case;
     end record;
 
+    type Term_Component_Access is access Term_Component;
+
     type Term is new Ada.Finalization.Controlled with record
         Actual : Term_Component_Access := null;
     end record;