asis_ui-source_table.adb-patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14

--- asis-gpl-2017-src/tools/tool_utils/asis_ul-source_table.adb
+++ asis-gpl-2017-src-new/tools/tool_utils/asis_ul-source_table.adb
@@ -135,8 +135,8 @@
      Table_Index_Type     => SF_Id,
      Table_Low_Bound      => First_SF_Id,
      Table_Initial        => 100,
-     Table_Increment      => 100,
-     Table_Name           => "Source file table");
+     Table_Increment      => 100);
+--     Table_Name           => "Source file table");
 
    Source_Table : Source_File_Table.Table_Ptr renames Source_File_Table.Table;