diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-10-16 06:08:33 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-10-16 06:08:33 +0200 |
commit | bfdbb20572ee1181e6b16fd86ccdb03c8c8e5bf5 (patch) | |
tree | 2228ad92a95e2c86d38de6f85aa8874f7b028e98 /src/vhdl/vhdl-parse.adb | |
parent | 0e36ca169806adf9dfe856ab571a534dfb894efc (diff) | |
download | ghdl-bfdbb20572ee1181e6b16fd86ccdb03c8c8e5bf5.tar.gz ghdl-bfdbb20572ee1181e6b16fd86ccdb03c8c8e5bf5.tar.bz2 ghdl-bfdbb20572ee1181e6b16fd86ccdb03c8c8e5bf5.zip |
vhdl: check cover/restrict is followed by a sequence.
Diffstat (limited to 'src/vhdl/vhdl-parse.adb')
-rw-r--r-- | src/vhdl/vhdl-parse.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb index 1b498fbf1..3b5862922 100644 --- a/src/vhdl/vhdl-parse.adb +++ b/src/vhdl/vhdl-parse.adb @@ -8660,7 +8660,7 @@ package body Vhdl.Parse is -- Skip 'cover' Scan; - Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence (True)); + Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence); Parse_Psl_Assert_Report_Severity (Res, Flag_Psl); @@ -8679,7 +8679,7 @@ package body Vhdl.Parse is -- Skip 'restrict' Scan; - Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence (True)); + Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence); -- No more PSL tokens after the sequence. Vhdl.Scanner.Flag_Psl := Flag_Psl; |