X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fconstraint.h;h=bfe3e256b766729827d651fbd6058ede0c56f381;hp=adcd3f1836688b57841429c0b87473f5fc4dd6cb;hb=8a8c578baea83656da2c032d0d0736d2a286f021;hpb=f3afe6e2ef7e4c2bcd95000ea3e1e17f9e538789

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index adcd3f1..bfe3e25 100644
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -32,6 +32,7 @@ typedef enum NodeType NodeType;
 
 struct Node {
 	uint numEdges;
+	uint numVars;
 	union {
 		NodeType type;
 		uint capacity;