[pkgsrc/trunk]: pkgsrc/math/py-z3solver/patches Fix vector to element array c...

[joerg <joerg%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/08a679ca317e
branches:  trunk
changeset: 413356:08a679ca317e
user:      joerg <joerg%pkgsrc.org@localhost>
date:      Wed Mar 18 19:29:18 2020 +0000

description:
Fix vector to element array conversion

diffstat:

 math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h |  15 ++++++++++
 1 files changed, 15 insertions(+), 0 deletions(-)

diffs (19 lines):

diff -r a9cb66be82a0 -r 08a679ca317e math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h     Wed Mar 18 19:29:18 2020 +0000
@@ -0,0 +1,15 @@
+$NetBSD: patch-core_src_util_lp_permutation__matrix.h,v 1.1 2020/03/18 19:29:18 joerg Exp $
+
+Fixes no conversion from const vector<unsigned> to unsigned int *.
+
+--- core/src/util/lp/permutation_matrix.h.orig 2020-03-18 15:38:20.643552591 +0000
++++ core/src/util/lp/permutation_matrix.h
+@@ -117,7 +117,7 @@ class permutation_matrix : public tail_m
+ 
+         unsigned size() const { return static_cast<unsigned>(m_rev.size()); }
+ 
+-        unsigned * values() const { return m_permutation; }
++        unsigned * values() { return &m_permutation[0]; }
+ 
+         void resize(unsigned size) {
+             unsigned old_size = m_permutation.size();