aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-rtis.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-rtis.ads')
-rw-r--r--src/grt/grt-rtis.ads1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-rtis.ads b/src/grt/grt-rtis.ads
index 030cd7e04..d4664492f 100644
--- a/src/grt/grt-rtis.ads
+++ b/src/grt/grt-rtis.ads
@@ -94,6 +94,7 @@ package Grt.Rtis is
Ghdl_Rtik_Attribute_Stable,
Ghdl_Rtik_Psl_Assert,
+ Ghdl_Rtik_Psl_Assume,
Ghdl_Rtik_Psl_Cover,
Ghdl_Rtik_Psl_Endpoint,