diff options
Diffstat (limited to 'src/vhdl/translate/trans-rtis.ads')
-rw-r--r-- | src/vhdl/translate/trans-rtis.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vhdl/translate/trans-rtis.ads b/src/vhdl/translate/trans-rtis.ads index c272bf7e9..a1b5b456b 100644 --- a/src/vhdl/translate/trans-rtis.ads +++ b/src/vhdl/translate/trans-rtis.ads @@ -68,6 +68,7 @@ package Trans.Rtis is Ghdl_Rtik_Attribute_Stable : O_Cnode; Ghdl_Rtik_Psl_Assert : O_Cnode; Ghdl_Rtik_Psl_Cover : O_Cnode; + Ghdl_Rtik_Psl_Endpoint : O_Cnode; Ghdl_Rtik_Error : O_Cnode; -- RTI types. |