aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-parse_psl.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-03-11 21:09:39 +0100
committerTristan Gingold <tgingold@free.fr>2020-03-13 06:30:27 +0100
commitd70084ccb149ff4f5fca072c672b1f3d040358a9 (patch)
tree1b2cb2172368b02be2f5c92bab1f59583ec4dec9 /src/vhdl/vhdl-parse_psl.adb
parent5c398db1b18a346cf2cb25acac07b068ccd7deee (diff)
downloadghdl-d70084ccb149ff4f5fca072c672b1f3d040358a9.tar.gz
ghdl-d70084ccb149ff4f5fca072c672b1f3d040358a9.tar.bz2
ghdl-d70084ccb149ff4f5fca072c672b1f3d040358a9.zip
psl: keep denoting names in the PSL ast.
Diffstat (limited to 'src/vhdl/vhdl-parse_psl.adb')
-rw-r--r--src/vhdl/vhdl-parse_psl.adb1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb
index 4dffbe38a..b664ec5c2 100644
--- a/src/vhdl/vhdl-parse_psl.adb
+++ b/src/vhdl/vhdl-parse_psl.adb
@@ -734,6 +734,7 @@ package body Vhdl.Parse_Psl is
| N_Paren_Bool
| N_Fusion_SERE
| N_HDL_Expr
+ | N_HDL_Bool
| N_Hdl_Mod_Name
| N_Concat_SERE
| N_Within_SERE