X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=loadrf.cc;h=52a08fb0b162de198c037c3853eecd38e2fb2278;hb=b394fb6e65b7bc1ddaaecd7a916c354a1464cb5c;hp=2d5984a015c7ba17968339ce5d8ca14794c7d993;hpb=086658309f67c28dc254b06bda5bafa8c3e191d6;p=satcheck.git

diff --git a/loadrf.cc b/loadrf.cc
index 2d5984a..52a08fb 100644
--- a/loadrf.cc
+++ b/loadrf.cc
@@ -18,7 +18,7 @@
 LoadRF::LoadRF(EPRecord *_load, ConstGen *cg) : load(_load) {
 	RecordSet *mrfSet=cg->getMayReadFromSet(load);
 	uint numstores=mrfSet->getSize();
-	numvars=NUMBITS(numstores-1);
+	numvars=NUMBITS(numstores); 
 	vars=(Constraint **)model_malloc(numvars*sizeof(Constraint *));
 	cg->getArrayNewVars(numvars, vars);
 }