diff options
Diffstat (limited to 'src/vhdl/tokens.adb')
| -rw-r--r-- | src/vhdl/tokens.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/vhdl/tokens.adb b/src/vhdl/tokens.adb index 5d27be8..f741127 100644 --- a/src/vhdl/tokens.adb +++ b/src/vhdl/tokens.adb @@ -405,8 +405,6 @@ package body Tokens is return "sequence"; when Tok_Psl_Endpoint => return "endpoint"; - when Tok_Psl_Assert => - return "assert"; when Tok_Psl_Cover => return "cover"; when Tok_Psl_Const => |