diff options
-rw-r--r-- | src/vhdl/vhdl-parse.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb index a6e24922d..9a358fe0c 100644 --- a/src/vhdl/vhdl-parse.adb +++ b/src/vhdl/vhdl-parse.adb @@ -9885,7 +9885,11 @@ package body Vhdl.Parse is | Tok_Use | Tok_Group | Tok_Package => + -- Do not recognize PSL keywords. This is required for + -- 'boolean' which is a PSL keyword. + Vhdl.Scanner.Flag_Psl := False; Item := Parse_Declaration (Res, Res); + Vhdl.Scanner.Flag_Psl := True; when Tok_Identifier => declare Label : Name_Id; |