added negation

1 files changed, 4 insertions, 2 deletions

diff --git a/proposition.c b/proposition.c
index 2c1410c..c3fc897 100644
--- a/proposition.c
+++ b/proposition.c
@@ -1,15 +1,17 @@
 #include "proposition.h"
 /* a proposition defines a relation between two propositions */
-prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) {
+prop_t init_prop(char isNegative, prop_t* propA, prop_t* propB, tokenType_t relation) {
 	prop_t prop;
+	prop.isNegative = isNegative;
 	prop.propA = propA;
 	prop.propB = propB;
 	prop.relation = relation;
 	return prop;
 }
 /* a simple proposition is one with only a name */
-prop_t init_simple_prop(char* name) {
+prop_t init_simple_prop(char isNegative, char* name) {
 	prop_t prop;
+	prop.isNegative = isNegative;
 	prop.name = name;
 	prop.isSimple = 1;
 	return prop;