GRAMMAR: remove abusing keyword

Signed-off-by: imkiva <imkiva@islovely.icu>
aya-prover · Nov 13, 2021 · 1af9964 · 1af9964
1 parent 2cf12b1
commit 1af9964
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/buildSrc/src/main/antlr/org/aya/parser/AyaLexer.g4 b/buildSrc/src/main/antlr/org/aya/parser/AyaLexer.g4
@@ -40,7 +40,6 @@ BIND_KW : 'bind';
 MATCH : 'match';
 ABSURD : 'impossible';
 VARIABLE : 'variable';
-ABUSING : 'abusing';
 DEF : 'def';
 STRUCT : 'struct';
 DATA : 'data';