From d70084ccb149ff4f5fca072c672b1f3d040358a9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 11 Mar 2020 21:09:39 +0100
Subject: psl: keep denoting names in the PSL ast.

---
 src/psl/psl-subsets.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/psl/psl-subsets.adb')

diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb
index 95f8d781c..dc677cb21 100644
--- a/src/psl/psl-subsets.adb
+++ b/src/psl/psl-subsets.adb
@@ -190,7 +190,8 @@ package body PSL.Subsets is
            | N_False
            | N_Number
            | N_EOS
-           | N_HDL_Expr =>
+           | N_HDL_Expr
+           | N_HDL_Bool =>
             null;
       end case;
    end Check_Simple;
-- 
cgit v1.2.3