diff options
Diffstat (limited to 'src/grt/grt-rtis.ads')
-rw-r--r-- | src/grt/grt-rtis.ads | 1 |
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, |