aboutsummaryrefslogtreecommitdiff
path: root/src/kompsos.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/kompsos.ads')
-rw-r--r--src/kompsos.ads7
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;