aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-options.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-options.adb')
-rw-r--r--src/grt/grt-options.adb10
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