diff options
Diffstat (limited to 'src/grt/grt-rtis.ads')
| -rw-r--r-- | src/grt/grt-rtis.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/grt/grt-rtis.ads b/src/grt/grt-rtis.ads index 06e09647c..97687ba33 100644 --- a/src/grt/grt-rtis.ads +++ b/src/grt/grt-rtis.ads @@ -89,6 +89,8 @@ package Grt.Rtis is Ghdl_Rtik_Attribute_Stable, Ghdl_Rtik_Psl_Assert, Ghdl_Rtik_Psl_Cover, + Ghdl_Rtik_Psl_Endpoint, + Ghdl_Rtik_Error); for Ghdl_Rtik'Size use 8; |