From bd54d5deb33a3ce3a5c843eaf99337a0934eb2de Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Wed, 14 Jun 2023 23:18:55 -0700
Subject: added contradiction to lexer

---
 src/lexer.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/lexer.h')

diff --git a/src/lexer.h b/src/lexer.h
index e5d64dc..8e3ccb1 100644
--- a/src/lexer.h
+++ b/src/lexer.h
@@ -10,6 +10,7 @@ typedef enum TokenType {
 	CLOSE_PAREN,
 	START_COMMENT,
 	JUSTIFICATION,
+	CONTRADICTION,
 	PREMISE,
 	ASSUMPTION,
 	NEGATION,
-- 
cgit v1.3.1