diff options
Diffstat (limited to 'testsuite/gna/ticket19/psl_test_cover2.vhd')
| -rw-r--r-- | testsuite/gna/ticket19/psl_test_cover2.vhd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/gna/ticket19/psl_test_cover2.vhd b/testsuite/gna/ticket19/psl_test_cover2.vhd index 16d6ac8..000657d 100644 --- a/testsuite/gna/ticket19/psl_test_cover2.vhd +++ b/testsuite/gna/ticket19/psl_test_cover2.vhd @@ -49,7 +49,7 @@ begin - -- psl statements + -- -psl statements -- psl default clock is rising_edge(s_clk); |