From 567bd34cd798eb636fd34ea755879d1cb29104a4 Mon Sep 17 00:00:00 2001
From: Ondrej Ille <ondrej.ille@gmail.com>
Date: Sun, 21 Mar 2021 10:32:39 +0100
Subject: Revert "src: Add -Wpsl-uncovered option to optionally warn about
 uncovered PSL sequences at the end of simulation."

This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
---
 src/flags.ads | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/flags.ads')

diff --git a/src/flags.ads b/src/flags.ads
index af99e3fe7..18dbf1e14 100644
--- a/src/flags.ads
+++ b/src/flags.ads
@@ -158,10 +158,6 @@ package Flags is
    --  If True, disp original source line and a caret indicating the column.
    Flag_Caret_Diagnostics : Boolean := False;
 
-   -- If True, warning is printed for each uncovered PSL cover points at the
-   -- end of simulation
-   Flag_Psl_Warn_Uncovered : Boolean := False;
-
    type On_Off_Auto_Type is (On, Off, Auto);
 
    --  -fcolor-diagnostics
-- 
cgit v1.2.3