From c3ed5c426b8be1144574b9e33135450cf6ceab1a Mon Sep 17 00:00:00 2001 From: Jonas Baggett Date: Tue, 20 Dec 2016 20:27:29 +0100 Subject: Add support for extended identifiers in wave option files. (#236) --- src/grt/grt-strings.ads | 1 - 1 file changed, 1 deletion(-) (limited to 'src/grt/grt-strings.ads') diff --git a/src/grt/grt-strings.ads b/src/grt/grt-strings.ads index 46d89008b..61e1c8c87 100644 --- a/src/grt/grt-strings.ads +++ b/src/grt/grt-strings.ads @@ -51,7 +51,6 @@ package Grt.Strings is -- Convert C/S to lowercase. function To_Lower (C : Character) return Character; - procedure To_Lower (S : in out String); -- Str/Char : image of a natural number/digit function Value (Str : String) return Integer; -- cgit v1.2.3