X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=9750048fb26f7bafa7497d6c586e752648e0156e;hp=03471647f830b1cf0586e830297690fe52a74776;hb=f60d35f0d239c6423cbe443a0b86ab5b335173e5;hpb=ec657324a6ce1b4ba9b5c1534472a47b4cff0201

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 0347164..9750048 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -64,7 +64,7 @@ private:
 	CNF *cnf;
 	CSolver *solver;
 	BooleanToEdgeMap booledgeMap;
-
+	VectorEdge *vector;
 };
 
 void allocElementConstraintVariables(ElementEncoding *ee, uint numVars);