diff options
Diffstat (limited to 'python/libghdl/thin/vhdl/tokens.py')
-rw-r--r-- | python/libghdl/thin/vhdl/tokens.py | 47 |
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 |