1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/gna/ticket19/psl_test_cover.vhd b/testsuite/gna/ticket19/psl_test_cover.vhd
index 4f3666f19..9fa73ec05 100644
--- a/testsuite/gna/ticket19/psl_test_cover.vhd
+++ b/testsuite/gna/ticket19/psl_test_cover.vhd
@@ -42,7 +42,7 @@ begin
 
 
 
-  -- psl statements
+  -- -psl statements
 
   -- psl default clock is rising_edge(s_clk);
 
@@ -50,4 +50,4 @@ begin
   -- psl cover always (s_write -> not(s_read));
 
 
-end architecture test;
-\ No newline at end of file
+end architecture test;