From 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sun, 11 Jun 2023 23:33:40 -0700 Subject: added parsing of justifications --- parse.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'parse.h') 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 -- cgit v1.3.1