diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-21 19:28:18 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-21 19:28:18 +0200 |
| commit | 92c75a0cbf315abe01b25b60f064941b3fadd80a (patch) | |
| tree | eabedba5f347cede43ab9b9335ee145e9d4c31b4 /src/vhdl/vhdl-prints.adb | |
| parent | 4894a7e85b327c24e26545b3a76d36b8bf7ef8d9 (diff) | |
| download | ghdl-92c75a0cbf315abe01b25b60f064941b3fadd80a.tar.gz ghdl-92c75a0cbf315abe01b25b60f064941b3fadd80a.tar.bz2 ghdl-92c75a0cbf315abe01b25b60f064941b3fadd80a.zip | |
vhdl-prints: handle restrict in vunit.
Diffstat (limited to 'src/vhdl/vhdl-prints.adb')
| -rw-r--r-- | src/vhdl/vhdl-prints.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb index 92fc984db..0ed2d8f31 100644 --- a/src/vhdl/vhdl-prints.adb +++ b/src/vhdl/vhdl-prints.adb @@ -4381,6 +4381,8 @@ package body Vhdl.Prints is Disp_Psl_Assert_Directive (Ctxt, Expr); when Iir_Kind_Psl_Assume_Directive => Disp_Psl_Assume_Directive (Ctxt, Expr); + when Iir_Kind_Psl_Restrict_Directive => + Disp_Psl_Restrict_Directive (Ctxt, Expr); when Iir_Kind_Error => declare |