diff options
Diffstat (limited to 'src/ghdldrv')
| -rw-r--r-- | src/ghdldrv/ghdlprint.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index 9df87930b..00fc9c25a 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -386,7 +386,8 @@ package body Ghdlprint is Disp_Reserved; when Tok_Protected => Disp_Reserved; - when Tok_Context => + when Tok_Context + | Tok_Parameter => Disp_Reserved; when Tok_Across .. Tok_Tolerance => Disp_Reserved; |