From ae04875b6006a35334f415cc11f7d05572a89f3d Mon Sep 17 00:00:00 2001
From: Ondrej Ille <ondrej.ille@gmail.com>
Date: Sun, 21 Mar 2021 10:31:37 +0100
Subject: Revert "src: Fix notes on pull-request."

This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.
---
 src/vhdl/translate/trans-chap9.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/vhdl')

diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb
index 8fe0673e5..b68b588fd 100644
--- a/src/vhdl/translate/trans-chap9.adb
+++ b/src/vhdl/translate/trans-chap9.adb
@@ -489,7 +489,7 @@ package body Trans.Chap9 is
                                             Ghdl_Location_Ptr_Node));
       New_Procedure_Call (Assocs);
 
-      if Flags.Flag_Psl_Report_Uncovered then
+      if Flags.Flag_Psl_Warn_Uncovered then
          New_Else_Stmt (Blk);
 
          Start_Association (Assocs, Ghdl_Psl_Cover_Failed);
-- 
cgit v1.2.3