aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/ticket19/psl_test_cover3.vhd
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2014-12-13 13:35:27 +0100
committerTristan Gingold <tgingold@free.fr>2014-12-13 13:35:27 +0100
commit6b0e4e8d1e42ac329e12fafa3758f3ccd106b436 (patch)
tree9f4cfe08199349f1e7af54580e2c92c3e737bb79 /testsuite/gna/ticket19/psl_test_cover3.vhd
parente3f6f212fe25e2fdb757d6bbf27fd51d0c296e8d (diff)
downloadghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.tar.gz
ghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.tar.bz2
ghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.zip
PSL: allow labels on psl directives (fix ticket26).
Diffstat (limited to 'testsuite/gna/ticket19/psl_test_cover3.vhd')
-rw-r--r--testsuite/gna/ticket19/psl_test_cover3.vhd2
1 files changed, 1 insertions, 1 deletions
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);