From 3bd120957d570756d396db8a112113f2ffb8f33b Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 00:56:14 -0700 Subject: added negation --- lexer.h | 1 + 1 file changed, 1 insertion(+) (limited to 'lexer.h') diff --git a/lexer.h b/lexer.h index 7f4cfd0..ff7ab85 100644 --- a/lexer.h +++ b/lexer.h @@ -11,6 +11,7 @@ typedef enum TokenType { JUSTIFICATION, PREMISE, ASSUMPTION, + NEGATION, CONJUNCTION, DISJUNCTION, IMPLICATION, -- cgit v1.3.1