diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-03-22 06:48:24 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-03-22 19:40:36 +0100 |
commit | f06253fa91cbb6d086db1b937c38c56fa5f5178c (patch) | |
tree | d3a3b062e8c6c9d0acb6371ed77c7faecfed3e38 /src/grt/grt-names.ads | |
parent | 06a1e88bc76de16681bedc53661327eaa74ead98 (diff) | |
download | ghdl-f06253fa91cbb6d086db1b937c38c56fa5f5178c.tar.gz ghdl-f06253fa91cbb6d086db1b937c38c56fa5f5178c.tar.bz2 ghdl-f06253fa91cbb6d086db1b937c38c56fa5f5178c.zip |
grt: extract grt-vhdl_types from grt-types
Diffstat (limited to 'src/grt/grt-names.ads')
-rw-r--r-- | src/grt/grt-names.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-names.ads b/src/grt/grt-names.ads index 8dde1f762..065fe4f98 100644 --- a/src/grt/grt-names.ads +++ b/src/grt/grt-names.ads @@ -22,6 +22,7 @@ -- covered by the GNU Public License. with System; use System; with Grt.Types; use Grt.Types; +with Grt.Vhdl_Types; use Grt.Vhdl_Types; with Grt.Rtis; use Grt.Rtis; package Grt.Names is |