X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcsolver.cc;h=bbe2b0c2c28c744ba9c001ca5467217093098839;hb=4901eaf03e64e4ed21f1ec0d786b75b5aa29283c;hp=bcd8f3fe33043298383aa85e0d7a0cd989573a8e;hpb=4bdc11392eb0cea7a13f3d3eccc6f56c8c910b58;p=satune.git

diff --git a/src/csolver.cc b/src/csolver.cc
index bcd8f3f..bbe2b0c 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -146,7 +146,7 @@ Element *CSolver::getElementVar(Set *set) {
 Element *CSolver::getElementConst(VarType type, uint64_t value) {
 	uint64_t array[] = {value};
 	Set *set = new Set(type, array, 1);
-	Element *element = new ElementConst(value, type, set);
+	Element *element = new ElementConst(value, set);
 	Element *e = elemMap.get(element);
 	if (e == NULL) {
 		allSets.push(set);