diff options
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 7 |
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; |
