From 36a3b1dda92bf374291e0a03d095c205940b205f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 6 Jan 2016 20:31:07 +0100 Subject: grt-lib: Remove unused with-ed package. --- src/grt/grt-lib.ads | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/grt/grt-lib.ads b/src/grt/grt-lib.ads index 82fee91b1..2ee918ba2 100644 --- a/src/grt/grt-lib.ads +++ b/src/grt/grt-lib.ads @@ -1,5 +1,5 @@ -- GHDL Run Time (GRT) - misc subprograms. --- Copyright (C) 2002 - 2014 Tristan Gingold +-- Copyright (C) 2002 - 2016 Tristan Gingold -- -- GHDL is free software; you can redistribute it and/or modify it under -- the terms of the GNU General Public License as published by the Free @@ -23,7 +23,6 @@ -- however invalidate any other reasons why the executable file might be -- covered by the GNU Public License. with Grt.Types; use Grt.Types; -with Grt.Rtis; use Grt.Rtis; package Grt.Lib is pragma Preelaborate (Grt.Lib); -- cgit v1.2.3