aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-strings.adb
diff options
context:
space:
mode:
authorJonas Baggett <jonas17b@gmail.com>2016-12-20 20:27:29 +0100
committertgingold <tgingold@users.noreply.github.com>2016-12-20 20:27:29 +0100
commitc3ed5c426b8be1144574b9e33135450cf6ceab1a (patch)
tree53c3ae2d7bc469804df8db2eac24bf17ebc5990c /src/grt/grt-strings.adb
parent7fd06aadb2e9863cb34f3dce468ac3ab0d39eb2c (diff)
downloadghdl-c3ed5c426b8be1144574b9e33135450cf6ceab1a.tar.gz
ghdl-c3ed5c426b8be1144574b9e33135450cf6ceab1a.tar.bz2
ghdl-c3ed5c426b8be1144574b9e33135450cf6ceab1a.zip
Add support for extended identifiers in wave option files. (#236)
Diffstat (limited to 'src/grt/grt-strings.adb')
-rw-r--r--src/grt/grt-strings.adb7
1 files changed, 0 insertions, 7 deletions
diff --git a/src/grt/grt-strings.adb b/src/grt/grt-strings.adb
index 82fd331e5..325d91483 100644
--- a/src/grt/grt-strings.adb
+++ b/src/grt/grt-strings.adb
@@ -79,13 +79,6 @@ package body Grt.Strings is
end if;
end To_Lower;
- procedure To_Lower (S : in out String) is
- begin
- for I in S'Range loop
- S (I) := To_Lower (S (I));
- end loop;
- end To_Lower;
-
function Value (Str : String) return Integer
is
Decimal : Positive;