diff options
Diffstat (limited to 'src/grt/grt-options.adb')
-rw-r--r-- | src/grt/grt-options.adb | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 3c4acb215..81fa962f0 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -23,6 +23,7 @@ -- however invalidate any other reasons why the executable file might be -- covered by the GNU Public License. with Interfaces; use Interfaces; +with Grt.Strings; use Grt.Strings; with Grt.Errors; use Grt.Errors; with Grt.Astdio; with Grt.Hooks; @@ -210,15 +211,6 @@ package body Grt.Options is end loop; end Extract_Integer; - function To_Lower (C : Character) return Character is - begin - if C in 'A' .. 'Z' then - return Character'Val (Character'Pos (C) + 32); - else - return C; - end if; - end To_Lower; - procedure Decode_Option (Option : String; Status : out Decode_Option_Status) is |