From 32c88bc9f4eaf455290af582b6494c8b2e2f8a58 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 24 Oct 2019 20:09:51 +0200
Subject: vhdl-parse: do not scan PSL keywords in vunit declarations.

---
 src/vhdl/vhdl-parse.adb | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/vhdl/vhdl-parse.adb')

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;
-- 
cgit v1.2.3