Fix apparent bug...

[satcheck.git] / functionrecord.cc

diff --git a/functionrecord.cc b/functionrecord.cc
index a7576b7c1cb220c6c92bff94a23f9512e51b51ff..f9ff51f7c52e726eaf75a6b7c17f2de2965edf90 100644 (file)
--- a/functionrecord.cc
+++ b/functionrecord.cc
@@ -20,7 +20,7 @@ FunctionRecord::FunctionRecord(ConstGen *cg, EPRecord *func) : function(func) {
                cg->getArrayNewVars(numvars, vars);
        } else {
                uint numvals=function->getSet(VC_FUNCOUTINDEX)->getSize();
-               numvals++;//allow for new combinations in sat formulas
+               numvals++;                                              //allow for new combinations in sat formulas
                numvars=NUMBITS(numvals-1);
                vars=(Constraint **)model_malloc(numvars*sizeof(Constraint *));
                cg->getArrayNewVars(numvars, vars);