From 92c75a0cbf315abe01b25b60f064941b3fadd80a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 21 Oct 2019 19:28:18 +0200 Subject: vhdl-prints: handle restrict in vunit. --- src/vhdl/vhdl-prints.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/vhdl') 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 -- cgit v1.2.3