From 663f9c00dee4bd4876a39f972742c71c7f48ba48 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@corp.google.com>
Date: Tue, 9 Jul 2019 20:15:31 -0700
Subject: [PATCH] Init logging

---
 examples/cpp/sat_runner.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/cpp/sat_runner.cc b/examples/cpp/sat_runner.cc
index 1550c80ba1..31b7148e1d 100644
--- a/examples/cpp/sat_runner.cc
+++ b/examples/cpp/sat_runner.cc
@@ -439,6 +439,7 @@ int main(int argc, char** argv) {
   //  absl::SetFlag(&FLAGS_vmodule, "*cp_model*=1");
   gflags::SetUsageMessage(kUsage);
   gflags::ParseCommandLineFlags(&argc, &argv, true);
+  google::InitGoogleLogging(argv[0]);
   absl::SetFlag(&FLAGS_alsologtostderr, true);
   return operations_research::sat::Run();
 }