added negation

1 files changed, 1 insertions, 1 deletions

diff --git a/parse.h b/parse.h
index 2bb49fa..80f92e2 100644
--- a/parse.h
+++ b/parse.h
@@ -14,6 +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* seek);
+prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative);
 just_t parse_justification(tokenSet_t tokenSet);
 #endif