diff options
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; |