fix(tlaplus): remove unused rules

This commit is contained in:
Amaan Qureshi 2024-10-15 12:05:51 -04:00 committed by Christian Clason
parent 6115c3664c
commit 8944dc64ef

View file

@ -13,9 +13,7 @@
"DEF"
"DEFINE"
"DEFS"
"DOMAIN"
"ELSE"
"ENABLED"
"EXCEPT"
"EXTENDS"
"HAVE"
@ -41,14 +39,11 @@
"RECURSIVE"
"SF_"
"STATE"
"SUBSET"
"SUFFICES"
"TAKE"
"TEMPORAL"
"THEN"
"THEOREM"
"UNCHANGED"
"UNION"
"USE"
"VARIABLE"
"VARIABLES"