From 3bd120957d570756d396db8a112113f2ffb8f33b Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 00:56:14 -0700
Subject: added negation

---
 parse.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parse.h')

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
-- 
cgit v1.3.1