diff options
Diffstat (limited to 'translate/grt/grt-stats.adb')
| -rw-r--r-- | translate/grt/grt-stats.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/translate/grt/grt-stats.adb b/translate/grt/grt-stats.adb index 973d61766..13a939aac 100644 --- a/translate/grt/grt-stats.adb +++ b/translate/grt/grt-stats.adb @@ -17,6 +17,7 @@ -- 02111-1307, USA. with System; use System; with System.Storage_Elements; -- Work around GNAT bug. +pragma Unreferenced (System.Storage_Elements); with Grt.Stdio; use Grt.Stdio; with Grt.Astdio; use Grt.Astdio; with Grt.Signals; |