diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:29:16 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:29:16 +0100 |
commit | f1c30ad16e0914455ee2c84e80714f6b271021f2 (patch) | |
tree | 11ebb7a91faeed8c17fdaf84cd8cd14d334d8c6a /src/lists.ads | |
parent | 56dde6c446367f85882d288d7606015ace7f80ed (diff) | |
download | ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.tar.gz ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.tar.bz2 ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.zip |
Rework initialization and finalization.
libghdl can now be re-initialized.
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. |