diff options
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index 131da8ffa..ca7763b4f 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -265,11 +265,12 @@ package Files_Map is procedure Initialize; private + Lines_Table_Init : Natural := 64; + package Lines_Tables is new Dyn_Tables (Table_Component_Type => Source_Ptr, Table_Index_Type => Natural, - Table_Low_Bound => 1, - Table_Initial => 64); + Table_Low_Bound => 1); -- There are several kinds of source file. type Source_File_Kind is |