diff options
Diffstat (limited to 'math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp')
| -rw-r--r-- | math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp b/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp new file mode 100644 index 00000000000..91a93d14af8 --- /dev/null +++ b/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp @@ -0,0 +1,15 @@ +$NetBSD: patch-core_src_sat_sat__solver.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ + +Avoid ambiguous function calls. + +--- core/src/sat/sat_solver.cpp.orig 2020-09-11 00:52:41.000000000 +0000 ++++ core/src/sat/sat_solver.cpp +@@ -40,6 +40,8 @@ Revision History: + #define ENABLE_TERNARY true + #define DYNAMIC_VARS true + ++using std::pow; ++ + namespace sat { + + |