diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:20:07 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:20:07 +0200 |
| commit | e669bf61068a516e54e6547490164a54728d81aa (patch) | |
| tree | 51b0d6cede6892102cb2b77aeca5160d2e46fa45 /src/ghdldrv/ghdlprint.adb | |
| parent | 76482ce0e7ce6e03bc5e17e217ac6d8b6f075846 (diff) | |
| download | ghdl-e669bf61068a516e54e6547490164a54728d81aa.tar.gz ghdl-e669bf61068a516e54e6547490164a54728d81aa.tar.bz2 ghdl-e669bf61068a516e54e6547490164a54728d81aa.zip | |
vhdl: parse and analyze restrict directive.
Diffstat (limited to 'src/ghdldrv/ghdlprint.adb')
| -rw-r--r-- | src/ghdldrv/ghdlprint.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index 8cd8de53f..6c5cd5873 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -396,6 +396,8 @@ package body Ghdlprint is | Tok_Psl_Sequence | Tok_Psl_Endpoint | Tok_Psl_Cover + | Tok_Psl_Restrict + | Tok_Psl_Restrict_Guarantee | Tok_Psl_Boolean | Tok_Psl_Const | Tok_Inf |