From 54a18dda071449e80982da9e31be4685da30f0ed Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 30 May 2021 18:23:33 +0200
Subject: Fix warnings from gnatgpl 2021

---
 src/ghdldrv/ghdlmain.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads
index e25cebea5..f66372d71 100644
--- a/src/ghdldrv/ghdlmain.ads
+++ b/src/ghdldrv/ghdlmain.ads
@@ -17,7 +17,7 @@ with GNAT.OS_Lib; use GNAT.OS_Lib;
 with Options; use Options;
 
 package Ghdlmain is
-   type Command_Type;
+   type Command_Type is tagged;
 
    type Command_Acc is access all Command_Type'Class;
 
-- 
cgit v1.2.3