Commit a3746a55 authored by Masahiko Sakai's avatar Masahiko Sakai
Browse files

removal of garbage info output introduced commit 9a6a789c.

parent 9a6a789c

PbSolver.C

+1 −1
Original line number Diff line number Diff line
@@ -88,7 +88,7 @@ void PbSolver::addGoal(const vec<Lit>& ps, const vec<Int>& Cs) 
	emptyGoal = false;

	break;

      }

    } reportf("i=%d\n",i);

    } 

    if(!emptyGoal)

      for (; i < Cs.size(); i++) {

        if(Cs[i] < 0) goal_coeff = gcdg(goal_coeff, -Cs[i]);