aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdlprint.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-08-20 08:05:22 +0200
committerTristan Gingold <tgingold@free.fr>2019-08-20 16:29:30 +0200
commitf64f2dbaa0e613f3ee499e6d474074d1b21c8bf4 (patch)
tree5376c99cd7bd2fd0ac40da911397b58f45ec5d78 /src/ghdldrv/ghdlprint.adb
parentbd942bc0e4ff27ad30b80ddab8b00762e33fc54c (diff)
downloadghdl-f64f2dbaa0e613f3ee499e6d474074d1b21c8bf4.tar.gz
ghdl-f64f2dbaa0e613f3ee499e6d474074d1b21c8bf4.tar.bz2
ghdl-f64f2dbaa0e613f3ee499e6d474074d1b21c8bf4.zip
vhdl psl: fully scan PSL keywords in scanner.
Diffstat (limited to 'src/ghdldrv/ghdlprint.adb')
-rw-r--r--src/ghdldrv/ghdlprint.adb8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index c4eb08da7..8510adabe 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -406,11 +406,17 @@ package body Ghdlprint is
| Tok_Until_Em_Un
| Tok_Always
| Tok_Never
- | Tok_Eventually
+ | Tok_Eventually_Em
+ | Tok_Next_Em
| Tok_Next_A
+ | Tok_Next_A_Em
| Tok_Next_E
+ | Tok_Next_E_Em
| Tok_Next_Event
+ | Tok_Next_Event_Em
| Tok_Next_Event_A
+ | Tok_Next_Event_A_Em
+ | Tok_Next_Event_E_Em
| Tok_Next_Event_E =>
Disp_Spaces;
Disp_Text;