X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=functionrecord.cc;h=f9ff51f7c52e726eaf75a6b7c17f2de2965edf90;hb=HEAD;hp=a7576b7c1cb220c6c92bff94a23f9512e51b51ff;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/functionrecord.cc b/functionrecord.cc
index a7576b7..f9ff51f 100644
--- 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);