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/ghdldrv/ghdlprint.adb | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 7d232c697..a35ad5fbb 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -399,6 +399,12 @@ package body Ghdlprint is
               | Tok_Within
               | Tok_Abort
               | Tok_Before
+              | Tok_Before_Em
+              | Tok_Before_Un
+              | Tok_Before_Em_Un
+              | Tok_Until_Em
+              | Tok_Until_Un
+              | Tok_Until_Em_Un
               | Tok_Always
               | Tok_Never
               | Tok_Eventually
-- 
cgit v1.2.3