1 files changed, 3 insertions, 0 deletions
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;