diff options
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index ed781fd5e..8d98475ce 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -3001,7 +3001,7 @@ bool ApproxGLPK::guessCoefficientsConstructTableRow(int nid, int M, const Primit for(size_t i=0; i < d_denomGuesses.size(); ++i){ const Integer& D = d_denomGuesses[i]; if(!guessCoefficientsConstructTableRow(nid, M, vec, D)){ - d_stats.d_averageGuesses.addEntry(i+1); + d_stats.d_averageGuesses << i+1; Debug("approx::gmi") << "guesseditat " << i << " D=" << D << endl; return false; } |