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