gnatcheck-diagnoses_old.adb-patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

--- asis-gpl-2017-src/tools/gnatcheck/gnatcheck-diagnoses_old.adb
+++ asis-gpl-2017-src-new/tools/gnatcheck/gnatcheck-diagnoses_old.adb
@@ -124,8 +124,8 @@
      Table_Index_Type     => Diag_Id,
      Table_Low_Bound      => First_Diag,
      Table_Initial        => 10000,
-     Table_Increment      => 100,
-     Table_Name           => "diagnoses database");
+     Table_Increment      => 100);
+--     Table_Name           => "diagnoses database");
 
    Diag_Table : Rule_Violations.Table_Ptr renames Rule_Violations.Table;
 
@@ -160,8 +160,8 @@
      Table_Index_Type     => SF_Id,
      Table_Low_Bound      => First_SF_Id,
      Table_Initial        => 10000,
-     Table_Increment      => 100,
-     Table_Name           => "diagnoses mapping database");
+     Table_Increment      => 100);
+--     Table_Name           => "diagnoses mapping database");
    --  The Mapping Table. We have to use dynamic table here, because we do not
    --  know in advance how many needed sources may be added during the rule
    --  checking