From f06253fa91cbb6d086db1b937c38c56fa5f5178c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 22 Mar 2022 06:48:24 +0100
Subject: grt: extract grt-vhdl_types from grt-types

---
 src/grt/grt-names.ads | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/grt/grt-names.ads')

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
-- 
cgit v1.2.3