diff options
author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-20 15:55:10 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-22 08:26:02 +0100 |
commit | c5df00481cca6bd2e9c9279d97ac78152562f496 (patch) | |
tree | 8da7f148c4b2c6d5fcc9ad2583504469bf7f09e8 /src/flags.ads | |
parent | d3e0e8a132109c1143052ad949c89d82a726a728 (diff) | |
download | ghdl-c5df00481cca6bd2e9c9279d97ac78152562f496.tar.gz ghdl-c5df00481cca6bd2e9c9279d97ac78152562f496.tar.bz2 ghdl-c5df00481cca6bd2e9c9279d97ac78152562f496.zip |
src: Fix notes on pull-request.
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/flags.ads b/src/flags.ads index af99e3fe7..1507aca9c 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_Warn_Uncovered : Boolean := False; + Flag_Psl_Report_Uncovered : Boolean := False; type On_Off_Auto_Type is (On, Off, Auto); |