From 8774bb9ed89c49290d609b21e9f15fdea81803c7 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 29 Apr 2016 08:10:26 +0200
Subject: grt-fst.adb: remove reference to unused entity,

Fix issue 57
---
 src/grt/grt-fst.adb | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/grt')

diff --git a/src/grt/grt-fst.adb b/src/grt/grt-fst.adb
index 982cb06e9..45d5142df 100644
--- a/src/grt/grt-fst.adb
+++ b/src/grt/grt-fst.adb
@@ -24,13 +24,10 @@
 --  covered by the GNU Public License.
 with Interfaces; use Interfaces;
 with Interfaces.C;
-with System; use System;
 with Grt.Types; use Grt.Types;
 with Grt.Fst_Api; use Grt.Fst_Api;
 with Grt.Vcd; use Grt.Vcd;
 with Grt.Avhpi; use Grt.Avhpi;
-with System.Storage_Elements; --  Work around GNAT bug.
-pragma Unreferenced (System.Storage_Elements);
 with Grt.Errors; use Grt.Errors;
 with Grt.Signals; use Grt.Signals;
 with Grt.Table;
-- 
cgit v1.2.3