mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 18:06:15 +00:00
Code Activity

Remove function arg names for deleted functions (#5176)

Browse source
This commit is contained in:
Zachary Wimer 2021-04-12 14:37:44 -07:00 • committed by GitHub
parent 8e6ab5b1bf
commit f4127bd6f3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/api/c++/z3++.h
View file

@ -106,8 +106,8 @@ namespace z3 {
*/ */
class config { class config {
Z3_config m_cfg; Z3_config m_cfg;
config(config const & s) = delete; config(config const &) = delete;
config & operator=(config const & s) = delete; config & operator=(config const &) = delete;
public: public:
config() { m_cfg = Z3_mk_config(); } config() { m_cfg = Z3_mk_config(); }
~config() { Z3_del_config(m_cfg); } ~config() { Z3_del_config(m_cfg); }
@ -170,8 +170,8 @@ namespace z3 {
} }
context(context const & s) = delete; context(context const &) = delete;
context & operator=(context const & s) = delete; context & operator=(context const &) = delete;
friend class scoped_context; friend class scoped_context;
context(Z3_context c) { set_context(c); } context(Z3_context c) { set_context(c); }
@ -395,8 +395,8 @@ namespace z3 {
class array { class array {
std::unique_ptr<T[]> m_array; std::unique_ptr<T[]> m_array;
unsigned m_size; unsigned m_size;
array(array const & s) = delete; array(array const &) = delete;
array & operator=(array const & s) = delete; array & operator=(array const &) = delete;
public: public:
array(unsigned sz):m_array(new T[sz]),m_size(sz) {} array(unsigned sz):m_array(new T[sz]),m_size(sz) {}
template<typename T2> template<typename T2>