summarylogtreecommitdiffstats
path: root/gnatcheck-diagnoses_old.adb-patch
diff options
context:
space:
mode:
Diffstat (limited to 'gnatcheck-diagnoses_old.adb-patch')
-rw-r--r--gnatcheck-diagnoses_old.adb-patch25
1 files changed, 25 insertions, 0 deletions
diff --git a/gnatcheck-diagnoses_old.adb-patch b/gnatcheck-diagnoses_old.adb-patch
new file mode 100644
index 000000000000..f6e664d0d734
--- /dev/null
+++ b/gnatcheck-diagnoses_old.adb-patch
@@ -0,0 +1,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
+