added contradiction to lexer

1 files changed, 6 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);