diff options
Diffstat (limited to 'src/vhdl/vhdl-tokens.adb')
| -rw-r--r-- | src/vhdl/vhdl-tokens.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-tokens.adb b/src/vhdl/vhdl-tokens.adb index 8ad0e4081..1f17c5092 100644 --- a/src/vhdl/vhdl-tokens.adb +++ b/src/vhdl/vhdl-tokens.adb @@ -422,6 +422,8 @@ package body Vhdl.Tokens is return "sequence"; when Tok_Psl_Endpoint => return "endpoint"; + when Tok_Psl_Assume => + return "assume"; when Tok_Psl_Cover => return "cover"; when Tok_Psl_Restrict => |