[FEAT] New keywords and checker additions, moving proofs in the papers module.HEADdevelop

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 1 insertions, 0 deletions

diff --git a/include/CompilerKit/AST.h b/include/CompilerKit/AST.h
index c1313ce..27f57be 100644
--- a/include/CompilerKit/AST.h
+++ b/include/CompilerKit/AST.h
@@ -46,6 +46,7 @@ enum struct KeywordKind {
   kKeywordKindIf,
   kKeywordKindVariableAssign,
   kKeywordKindVariableDec,
+  kKeywordKindVariableEquals,
   kKeywordKindVariableInc,
   kKeywordKindTypedef,
   kKeywordKindEndLine,  // Optional in Nectar.