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

---
 testsuite/gna/ticket19/psl_test_cover3.vhd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'testsuite/gna/ticket19/psl_test_cover3.vhd')

diff --git a/testsuite/gna/ticket19/psl_test_cover3.vhd b/testsuite/gna/ticket19/psl_test_cover3.vhd
index 0ef5d6ed9..260a47965 100644
--- a/testsuite/gna/ticket19/psl_test_cover3.vhd
+++ b/testsuite/gna/ticket19/psl_test_cover3.vhd
@@ -42,7 +42,7 @@ begin
 
 
 
-  -- psl statements
+  --- psl statements
 
   -- psl default clock is rising_edge(s_clk);
 
-- 
cgit v1.2.3