Need to allow for one spare encoding for the non-executed case with no suitable stores.

[satcheck.git] / loadrf.cc

diff --git a/loadrf.cc b/loadrf.cc
index 2d5984a015c7ba17968339ce5d8ca14794c7d993..52a08fb0b162de198c037c3853eecd38e2fb2278 100644 (file)
--- 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);
 }