From 2f7ac38cca2ebab41b8adb76b69e0949eeae488d Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 01:59:43 -0700
Subject: fixed bugs, just_is_sound works for conjunct intro

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

(limited to 'parse.h')

diff --git a/parse.h b/parse.h
index 320ca45..67d7160 100644
--- a/parse.h
+++ b/parse.h
@@ -17,4 +17,5 @@ lineSet_t parse_lines(char* content, int lineCount);
 line_t parse_line(char* content);
 prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative);
 just_t parse_justification(tokenSet_t tokenSet);
+char peq(prop_t prop1, prop_t prop2);
 #endif
-- 
cgit v1.3.1