gnatcheck-traversal_stack.adb-patch


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

--- asis-gpl-2017-src/tools/gnatcheck/gnatcheck-traversal_stack.adb
+++ asis-gpl-2017-src-new/tools/gnatcheck/gnatcheck-traversal_stack.adb
@@ -58,8 +58,8 @@
       Table_Index_Type     => Elmt_Idx,
       Table_Low_Bound      => 1,
       Table_Initial        => 100,
-      Table_Increment      => 100,
-      Table_Name           => "Traversal Stack");
+      Table_Increment      => 100);
+--      Table_Name           => "Traversal Stack");
 
    Stack : Stack_Table.Table_Ptr renames Stack_Table.Table;