diff options
Diffstat (limited to 'src/vhdl/parse.adb')
| -rw-r--r-- | src/vhdl/parse.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/parse.adb b/src/vhdl/parse.adb index dc2d24bcd..b9e46f0fd 100644 --- a/src/vhdl/parse.adb +++ b/src/vhdl/parse.adb @@ -8109,7 +8109,7 @@ package body Parse is -- Skip 'cover' Scan; - Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence); + Set_Psl_Sequence (Res, Parse_Psl.Parse_Psl_Sequence (True)); -- No more PSL tokens after the property. Scanner.Flag_Psl := False; |