diff options
Diffstat (limited to '')
-rw-r--r-- | lang/jgnat/files/patch-ae | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lang/jgnat/files/patch-ae b/lang/jgnat/files/patch-ae deleted file mode 100644 index c6c00fe428a4..000000000000 --- a/lang/jgnat/files/patch-ae +++ /dev/null @@ -1,23 +0,0 @@ ---- jvm_file.adb.orig Tue Jan 19 15:26:06 1999 -+++ jvm_file.adb Thu Mar 8 10:03:10 2001 -@@ -31,6 +31,9 @@ - with JVM_Walk; - with Osint; - -+-- add following to get rid of compile bug -+with Ada.Characters.Handling; -+ - package body JVM_File is - - use Utf8; -@@ -417,7 +420,9 @@ - if U in 16#01# .. 16#7F# then - Add (T, U); - else -- Append (T, Wide_Character (C)); -+ -+ -- Change to To_Wide_Character from Ada.Characters.Handling -+ Append (T, Ada.Characters.Handling.To_Wide_Character (C)); - end if; - end Append; - |