diff --git a/math/or-tools/files/patch-ortools_base_numbers.cc b/math/or-tools/files/patch-ortools_base_numbers.cc new file mode 100644 index 000000000000..0fb41bd3adc4 --- /dev/null +++ b/math/or-tools/files/patch-ortools_base_numbers.cc @@ -0,0 +1,13 @@ +- workaround for https://github.com/google/or-tools/issues/3622 + +--- ortools/base/numbers.cc.orig 2023-01-07 08:24:55 UTC ++++ ortools/base/numbers.cc +@@ -23,6 +23,8 @@ + #include + #include + ++#include ++ + // #include "ortools/base/logging.h" + #include "absl/strings/ascii.h" + #include "ortools/base/strtoint.h"