diff options
Diffstat (limited to 'src/lists.ads')
| -rw-r--r-- | src/lists.ads | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/lists.ads b/src/lists.ads index 06fd601d9..0c47f8b56 100644 --- a/src/lists.ads +++ b/src/lists.ads @@ -69,8 +69,10 @@ package Lists is -- Destroy a list. procedure Destroy_List (List : in out List_Type); - -- Free all the lists and reset to initial state. - -- Must be used to free the memory used by the lists. + -- Free all the lists. + procedure Finalize; + + -- Reset to initial state. procedure Initialize; -- Append ELEMENT to the list. It's an O(1) operation. |