diff options
Diffstat (limited to 'src/areapools.ads')
| -rw-r--r-- | src/areapools.ads | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/areapools.ads b/src/areapools.ads index 186f29707..d9802523b 100644 --- a/src/areapools.ads +++ b/src/areapools.ads @@ -19,17 +19,14 @@ with System; use System; with System.Storage_Elements; use System.Storage_Elements; +with Types; use Types; + package Areapools is type Areapool is limited private; type Mark_Type is private; type Areapool_Acc is access all Areapool; - -- Modular type for the size. We don't use Storage_Offset in order to - -- make alignment computation efficient (knowing that alignment is a - -- power of two). - type Size_Type is mod System.Memory_Size; - -- Allocate SIZE bytes (aligned on ALIGN bytes) in memory pool POOL and -- return the address in RES. procedure Allocate (Pool : in out Areapool; |