aboutsummaryrefslogtreecommitdiffstats
path: root/python/libghdl/thin/vhdl/tokens.py
diff options
context:
space:
mode:
Diffstat (limited to 'python/libghdl/thin/vhdl/tokens.py')
-rw-r--r--python/libghdl/thin/vhdl/tokens.py47
1 files changed, 24 insertions, 23 deletions
diff --git a/python/libghdl/thin/vhdl/tokens.py b/python/libghdl/thin/vhdl/tokens.py
index 20cf3b7dd..2d5655001 100644
--- a/python/libghdl/thin/vhdl/tokens.py
+++ b/python/libghdl/thin/vhdl/tokens.py
@@ -180,26 +180,27 @@ class Tok:
Psl_Property = 176
Psl_Sequence = 177
Psl_Endpoint = 178
- Psl_Cover = 179
- Psl_Restrict = 180
- Psl_Restrict_Guarantee = 181
- Psl_Const = 182
- Psl_Boolean = 183
- Inf = 184
- Within = 185
- Abort = 186
- Before = 187
- Before_Em = 188
- Before_Un = 189
- Before_Em_Un = 190
- Until_Em = 191
- Until_Un = 192
- Until_Em_Un = 193
- Always = 194
- Never = 195
- Eventually = 196
- Next_A = 197
- Next_E = 198
- Next_Event = 199
- Next_Event_A = 200
- Next_Event_E = 201
+ Psl_Assume = 179
+ Psl_Cover = 180
+ Psl_Restrict = 181
+ Psl_Restrict_Guarantee = 182
+ Psl_Const = 183
+ Psl_Boolean = 184
+ Inf = 185
+ Within = 186
+ Abort = 187
+ Before = 188
+ Before_Em = 189
+ Before_Un = 190
+ Before_Em_Un = 191
+ Until_Em = 192
+ Until_Un = 193
+ Until_Em_Un = 194
+ Always = 195
+ Never = 196
+ Eventually = 197
+ Next_A = 198
+ Next_E = 199
+ Next_Event = 200
+ Next_Event_A = 201
+ Next_Event_E = 202