X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.c;h=831a20042cb0f507a48e28e81dc285449fa08455;hp=0d3e8929d8d25d3e0131d70c0f86935f0d7688cc;hb=fa74d0b740b20fa40af55404c5bb99570a8b40ca;hpb=da8edf8ffe23430b414467fb4e35c66c94562356

diff --git a/src/AST/boolean.c b/src/AST/boolean.c
index 0d3e892..831a200 100644
--- a/src/AST/boolean.c
+++ b/src/AST/boolean.c
@@ -6,6 +6,7 @@ Boolean* allocBoolean(VarType t) {
 	BooleanVar* tmp=(BooleanVar *) ourmalloc(sizeof (BooleanVar));
 	GETBOOLEANTYPE(tmp)=BOOLEANVAR;
 	tmp->vtype=t;
+	tmp->var=NULL;
 	return & tmp->base;
 }