diff options
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/kompsos.ads b/src/kompsos.ads index 7b79d60..89ea88b 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -525,15 +525,6 @@ private return World_Holders.Holder with Inline; - function Ptr - (This : in out World_Holders.Holder) - return World_Access - with Inline; - - procedure Swap - (Left, Right : in out World_Holders.Holder) - with Inline; - type Lazy_Kind is (Zero_Arg, One_Arg, Many_Arg); type Lazy_Data (Kind : Lazy_Kind) is record @@ -555,7 +546,6 @@ private (No_Gen, Fresh_Gen, Unify_Gen, - Buffer_Gen, Disjunct_Gen, Conjunct_Gen, Recurse_Gen); @@ -572,8 +562,6 @@ private Uni_World : World_Holders.Holder; Uni_Term1 : Term; Uni_Term2 : Term; - when Buffer_Gen => - Buff_World : World_Holders.Holder; when Disjunct_Gen => Dis_World1 : World_Holders.Holder; Dis_World2 : World_Holders.Holder; |