diff options
Diffstat (limited to 'src/lexer.c')
| -rw-r--r-- | src/lexer.c | 6 |
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); |