From 6b0e4e8d1e42ac329e12fafa3758f3ccd106b436 Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Sat, 13 Dec 2014 13:35:27 +0100
Subject: PSL: allow labels on psl directives (fix ticket26).

---
 src/ghdldrv/ghdlprint.adb | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 45e70e1..1ab1cad 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -393,7 +393,6 @@ package body Ghdlprint is
               | Tok_Psl_Property
               | Tok_Psl_Sequence
               | Tok_Psl_Endpoint
-              | Tok_Psl_Assert
               | Tok_Psl_Cover
               | Tok_Psl_Boolean
               | Tok_Psl_Const
-- 
cgit