From f7aa337207cd6ffd016745a7edb3221ea35d6ad7 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Thu, 3 May 2018 15:06:22 +0200 Subject: [PATCH] fix compilation --- ortools/sat/sat_solver.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ortools/sat/sat_solver.cc b/ortools/sat/sat_solver.cc index 48d7bfdf0c..9b0ee1a76e 100644 --- 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(),