From 734df45de4cf8c1a59b3fef972182dd0b48ef3e2 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Thu, 10 Aug 2023 12:58:45 -0700
Subject: [PATCH] remove int128 abls::Stringify

---
 ortools/base/logging.h | 9 ---------
 ortools/sat/cuts.cc    | 4 ++--
 2 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/ortools/base/logging.h b/ortools/base/logging.h
index 59b6da0ffa1..680f74b974a 100644
--- a/ortools/base/logging.h
+++ b/ortools/base/logging.h
@@ -53,13 +53,4 @@ enum LogSeverity {
 };
 }  // namespace google
 
-namespace absl {
-template <typename Sink>
-void AbslStringify(Sink& sink, absl::int128 v) {
-  std::ostringstream oss;
-  oss << v;
-  sink.Append(oss.str());
-}
-}  // namespace absl
-
 #endif  // OR_TOOLS_BASE_LOGGING_H_
diff --git a/ortools/sat/cuts.cc b/ortools/sat/cuts.cc
index bbfc6672901..2083eeada35 100644
--- a/ortools/sat/cuts.cc
+++ b/ortools/sat/cuts.cc
@@ -66,7 +66,7 @@ std::string CutTerm::DebugString() const {
 }
 
 std::string CutData::DebugString() const {
-  std::string result = absl::StrCat("CutData rhs="/*, rhs*/, "\n");
+  std::string result = absl::StrCat("CutData rhs=", rhs, "\n");
   for (const CutTerm& term : terms) {
     absl::StrAppend(&result, term.DebugString(), "\n");
   }
@@ -1996,7 +1996,7 @@ std::string SingleNodeFlow::DebugString() const {
   return absl::StrCat(
       "#in:", in_flow.size()
       ," #out:", out_flow.size()
-      //," demand:", demand
+      ," demand:", demand
       ," #bool:", num_bool
       ," #lb:", num_to_lb
       ," #ub:", num_to_ub