From bfdbb20572ee1181e6b16fd86ccdb03c8c8e5bf5 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 16 Oct 2019 06:08:33 +0200 Subject: vhdl: check cover/restrict is followed by a sequence. --- src/vhdl/vhdl-parse.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/vhdl/vhdl-parse.adb') 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; -- cgit v1.2.3