fix compilation

2018-05-03 15:06:22 +02:00
parent f11322d5a3
commit f7aa337207
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/sat_solver.cc
+++ b/ortools/sat/sat_solver.cc
@@ -1461,7 +1461,7 @@ std::string SatSolver::RunningStatisticsString() const {
      "%6.2fs, mem:%s, fails:%" GG_LL_FORMAT
      "d, "
      "depth:%d, clauses:%lld, tmp:%lld, bin:%llu, restarts:%d, vars:%d",
-      time_in_s, MemoryUsage(), counters_.num_failures, CurrentDecisionLevel(),
+      time_in_s, MemoryUsage().c_str(), counters_.num_failures, CurrentDecisionLevel(),
      clauses_propagator_.num_clauses() -
          clauses_propagator_.num_removable_clauses(),
      clauses_propagator_.num_removable_clauses(),