diff options
Diffstat (limited to 'src/name_table.ads')
| -rw-r--r-- | src/name_table.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/name_table.ads b/src/name_table.ads index 2dc6137c6..e9b948206 100644 --- a/src/name_table.ads +++ b/src/name_table.ads @@ -86,6 +86,10 @@ package Name_Table is -- Be sure all info fields have their default value. procedure Assert_No_Infos; + -- Initialize this package + -- This must be called once and only once before any use. + procedure Initialize; + -- Free all resources. The package cannot be used anymore after calling -- this procedure. procedure Finalize; |