diff options
| -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 |