From d063e3c2c6f4b1566c28d0ea92186f356017f99f Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sun, 11 Jun 2023 16:18:21 -0700
Subject: parsing propositions works now. added some debugging tools

---
 proposition.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'proposition.h')

diff --git a/proposition.h b/proposition.h
index 5ffb009..d2f5ac6 100644
--- a/proposition.h
+++ b/proposition.h
@@ -5,8 +5,11 @@ typedef struct Proposition {
 	struct Proposition* propA;
 	struct Proposition* propB;
 	tokenType_t relation;
+	char* name;
 	char isSimple;
 } prop_t;
+prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation);
+prop_t init_simple_prop(char* name);
 typedef struct Justification {
 	tokenType_t rule;
 } just_t;
-- 
cgit v1.3.1