diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index ca7763b4f..2fcf53599 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -261,9 +261,12 @@ package Files_Map is function Image (Loc : Location_Type; Filename : Boolean := True) return String; - -- Free all memory and reinitialize. + -- Initialize. procedure Initialize; + -- Free all memory. + procedure Finalize; + private Lines_Table_Init : Natural := 64; |