diff options
| author | Pepijn de Vos <pepijndevos@gmail.com> | 2019-08-20 21:18:41 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-08-20 21:18:41 +0200 |
| commit | f977ba0dd5b152e97619ecfe1d848d83f2e062ff (patch) | |
| tree | 3cf86dbea48a6136946dd57a44d68de073834a5c /src/vhdl/translate/trans-rtis.adb | |
| parent | 47a5c5eb9cc21a0f719bcc496731ec0e811e5240 (diff) | |
| download | ghdl-f977ba0dd5b152e97619ecfe1d848d83f2e062ff.tar.gz ghdl-f977ba0dd5b152e97619ecfe1d848d83f2e062ff.tar.bz2 ghdl-f977ba0dd5b152e97619ecfe1d848d83f2e062ff.zip | |
ignore restrict in simulation (#897)
Diffstat (limited to 'src/vhdl/translate/trans-rtis.adb')
| -rw-r--r-- | src/vhdl/translate/trans-rtis.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/vhdl/translate/trans-rtis.adb b/src/vhdl/translate/trans-rtis.adb index e618aeb9b..a36bcc076 100644 --- a/src/vhdl/translate/trans-rtis.adb +++ b/src/vhdl/translate/trans-rtis.adb @@ -2423,9 +2423,9 @@ package body Trans.Rtis is Push_Identifier_Prefix (Mark, Get_Identifier (Stmt)); Generate_Instance (Stmt, Parent_Rti); Pop_Identifier_Prefix (Mark); - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration => + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive |