diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
| commit | 5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8 (patch) | |
| tree | 153ab940b178603745e6b27e37bc606df2e8b316 /src/ghdldrv/ghdlprint.adb | |
| parent | a8e477a114b528866dfeb5146c9377f57bab604c (diff) | |
| download | ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.gz ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.bz2 ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.zip | |
vhdl: add PSL keywords to vhdl08 reserved words.
Diffstat (limited to 'src/ghdldrv/ghdlprint.adb')
| -rw-r--r-- | src/ghdldrv/ghdlprint.adb | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index a611f07e7..65eec4ed3 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -383,22 +383,15 @@ package body Ghdlprint is Disp_Text; Put ("</tt>"); end case; - when Tok_Mod .. Tok_Parameter => + when Tok_Mod .. Tok_Sequence => Disp_Reserved; when Tok_Semi_Colon => Disp_Spaces; Disp_Text; when Tok_Across .. Tok_Tolerance => Disp_Reserved; - when Tok_Psl_Default - | Tok_Psl_Clock - | Tok_Psl_Property - | Tok_Psl_Sequence + when Tok_Psl_Clock | Tok_Psl_Endpoint - | Tok_Psl_Assume - | Tok_Psl_Cover - | Tok_Psl_Restrict - | Tok_Psl_Restrict_Guarantee | Tok_Psl_Boolean | Tok_Psl_Const | Tok_Inf |