permutation_matrix.h:135:44: error: cannot convert ‘const vector<unsigned int>’ to ‘unsigned int*’

[Geremia]

I'm also getting many of these errors when make revkiting on master:

INFO:root:Using /tmp/cirkit/lib/z3/src/ast/pattern/pattern_inference_params_helper.pyg
INFO:root:Generated "/tmp/cirkit/build/lib/z3/src/ast/pattern/pattern_inference_params_helper.hpp"
INFO:root:Generated "/tmp/cirkit/build/lib/z3/src/ast/pattern/database.h"
In file included from /tmp/cirkit/lib/z3/src/util/lp/static_matrix.h:28,
                 from /tmp/cirkit/lib/z3/src/util/lp/lp_core_solver_base.h:27,
                 from /tmp/cirkit/lib/z3/src/util/lp/lp_core_solver_base.hpp:24,
                 from /tmp/cirkit/lib/z3/src/util/lp/lp_core_solver_base_instances.cpp:25:
/tmp/cirkit/lib/z3/src/util/lp/permutation_matrix.h: In member function ‘unsigned int* lp::permutation_matrix<T, X>::values() const’:
/tmp/cirkit/lib/z3/src/util/lp/permutation_matrix.h:135:44: error: cannot convert ‘const vector<unsigned int>’ to ‘unsigned int*’ in return
  135 |         unsigned * values() const { return m_permutation; }
      |                                            ^~~~~~~~~~~~~
      |                                            |
      |                                            const vector<unsigned int>
make[3]: *** [lib/z3/src/util/lp/CMakeFiles/lp.dir/build.make:211: lib/z3/src/util/lp/CMakeFiles/lp.dir/lp_core_solver_base_instances.cpp.o] Error 1