diff options
Diffstat (limited to 'gnatcheck-diagnoses_old.adb-patch')
-rw-r--r-- | gnatcheck-diagnoses_old.adb-patch | 25 |
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 + |