added parsing of justifications

1 files changed, 8 insertions, 0 deletions

diff --git a/lexer.c b/lexer.c
index 5fe9e22..be35d85 100644
--- a/lexer.c
+++ b/lexer.c
@@ -120,6 +120,14 @@ token_t lex_first_token(char** content) {
 			free(s);
 			return init_token(ASSUMPTION, NULL);
 		}
+		else if (strcmp(s, "i") == 0) {
+			free(s);
+			return init_token(INTRODUCTION, NULL);
+		}
+		else if (strcmp(s, "e") == 0) {
+			free(s);
+			return init_token(ELIMINATION, NULL);
+		}
 		else if (strcmp(s, "^") == 0) {
 			free(s);
 			return init_token(CONJUNCTION, NULL);