From 3bd59058dac12e2ec652facfcda4e57dbfe171fd Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@corp.google.com>
Date: Mon, 22 Apr 2019 10:18:07 +0200
Subject: [PATCH] silence spurrious warning

---
 ortools/sat/cp_model_presolve.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
index 668e795c4a..4eea4ae53e 100644
--- a/ortools/sat/cp_model_presolve.cc
+++ b/ortools/sat/cp_model_presolve.cc
@@ -3974,7 +3974,7 @@ void RemoveUnusedEquivalentVariables(PresolveContext* context) {
                                         &domain_modified)) {
         return;
       }
-      if (domain_modified) {
+      if (domain_modified && VLOG_IS_ON(1)) {
         LOG(WARNING) << "Domain of " << r.representative
                      << " was not fully propagated using the affine relation "
                      << "(var = " << var