Revert "src: Fix notes on pull-request."

This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.

3 files changed, 10 insertions, 9 deletions

diff --git a/src/flags.ads b/src/flags.ads
index 1507aca9c..af99e3fe7 100644
--- a/src/flags.ads
+++ b/src/flags.ads
@@ -160,7 +160,7 @@ package Flags is
 
    -- If True, warning is printed for each uncovered PSL cover points at the
    -- end of simulation
-   Flag_Psl_Report_Uncovered : Boolean := False;
+   Flag_Psl_Warn_Uncovered : Boolean := False;
 
    type On_Off_Auto_Type is (On, Off, Auto);
 
diff --git a/src/options.adb b/src/options.adb
index 9724b9f00..7aa31e253 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -102,7 +102,7 @@ package body Options is
 
       -- Handles -Wpsl-uncovered
       if Opt = "psl-uncovered" then
-         Flag_Psl_Report_Uncovered := True;
+         Flag_Psl_Warn_Uncovered := True;
          return Option_Ok;
       end if;
 
@@ -297,17 +297,18 @@ package body Options is
       P ("  -Werror            turns warnings into errors");
       P ("  -Wpsl-uncovered    Prints warning after simulation for each");
       P ("                     uncovered PSL cover point.");
+      P ("                     Only valid with '-fpsl'");
 --    P ("Simulation option:");
 --    P ("  --assert-level=LEVEL     set the level which stop the");
 --    P ("           simulation.  LEVEL is note, warning, error,");
 --    P ("           failure or none");
       P ("Extensions:");
-      P ("  -fexplicit         give priority to explicitly declared operator");
-      P ("  -frelaxed-rules    relax some LRM rules");
-      P ("  -C  --mb-comments  allow multi-bytes chars in a comment");
-      P ("  --bootstrap        allow --work=std");
-      P ("  --syn-binding      use synthesis default binding rule");
-      P ("  -fpsl              parse psl in comments");
+      P ("  -fexplicit        give priority to explicitly declared operator");
+      P ("  -frelaxed-rules   relax some LRM rules");
+      P ("  -C  --mb-comments allow multi-bytes chars in a comment");
+      P ("  --bootstrap       allow --work=std");
+      P ("  --syn-binding     use synthesis default binding rule");
+      P ("  -fpsl             parse psl in comments");
       P ("Compilation list:");
       P ("  -l[sca]            after semantics, canon or annotation");
       P ("  --lall             -lX options apply to all files");
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);