added parsing of justifications

1 files changed, 2 insertions, 1 deletions

diff --git a/parse.h b/parse.h
index 3fb0a3b..2bb49fa 100644
--- a/parse.h
+++ b/parse.h
@@ -14,5 +14,6 @@ lineSet_t init_lineset(line_t* lines, int count);
 int count_lines(char* content);
 lineSet_t parse_lines(char* content, int lineCount);
 line_t parse_line(char* content);
-prop_t parse_proposition(tokenSet_t tokenSet, int* tokensRead);
+prop_t parse_proposition(tokenSet_t tokenSet, int* seek);
+just_t parse_justification(tokenSet_t tokenSet);
 #endif