blob: 756f82cdb1f4defb39b198ceec16d49369d8d62e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- asis-gpl-2017-src/tools/gnatelim/gnatelim-closure.adb
+++ asis-gpl-2017-src-new/tools/gnatelim/gnatelim-closure.adb
@@ -63,8 +63,8 @@
Table_Index_Type => Natural,
Table_Low_Bound => 1,
Table_Initial => 20,
- Table_Increment => 100,
- Table_Name => "Tool options");
+ Table_Increment => 100);
+-- Table_Name => "Tool options");
-- Used to compose a list of switches to call a tool
-----------------------
|