From 5ca1572dbef924b659e7ecc912686d3941b5ae30 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 30 May 2019 14:21:51 +0200
Subject: vhdl-prints: handle PSL, add psl tokens for strong and inclusive
variants.
---
src/psl/psl-prints.ads | 2 ++
1 file changed, 2 insertions(+)
(limited to 'src/psl')
diff --git a/src/psl/psl-prints.ads b/src/psl/psl-prints.ads
index d49a5e093..96692d436 100644
--- a/src/psl/psl-prints.ads
+++ b/src/psl/psl-prints.ads
@@ -27,6 +27,8 @@ package PSL.Prints is
(Prop : Node; Parent_Prio : Priority := Prio_Lowest);
procedure Print_Expr (N : Node; Parent_Prio : Priority := Prio_Lowest);
+ function Get_Priority (N : Node) return Priority;
+
-- Procedure to display HDL_Expr nodes.
type HDL_Expr_Printer_Acc is access procedure (N : HDL_Node);
HDL_Expr_Printer : HDL_Expr_Printer_Acc;
--
cgit v1.2.3