added contradiction to lexer

2 files changed, 7 insertions, 0 deletions

diff --git a/src/lexer.c b/src/lexer.c
index c6c4ffe..45a6f79 100644
--- a/src/lexer.c
+++ b/src/lexer.c
@@ -32,6 +32,8 @@ char* tttos(tokenType_t tokenType) {
 			return "CLOSE_PAREN";
 		case START_COMMENT:
 			return "START_COMMENT";
+		case CONTRADICTION:
+			return "CONTRADICTION";
 		case JUSTIFICATION:
 			return "JUSTIFICATION";
 		case PREMISE:
@@ -116,6 +118,10 @@ token_t lex_first_token(char** content) {
 			free(s);
 			return init_token(INDENT, NULL);
 		}
+		else if (strcmp(s, "?") == 0) {
+			free(s);
+			return init_token(CONTRADICTION, NULL);
+		}
 		else if (strcmp(s, "|") == 0) {
 			free(s);
 			return init_token(JUSTIFICATION, NULL);
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,