From 70604a68563a1ed8836c1c55829e8631c6d0482f Mon Sep 17 00:00:00 2001 From: Zachary Wimer Date: Mon, 12 Apr 2021 13:46:55 -0700 Subject: [PATCH] Explicitly delete private constructors (#5174) --- src/api/c++/z3++.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 644c7033a..357e42054 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -106,8 +106,8 @@ namespace z3 { */ class config { Z3_config m_cfg; - config(config const & s); - config & operator=(config const & s); + config(config const & s) = delete; + config & operator=(config const & s) = delete; public: config() { m_cfg = Z3_mk_config(); } ~config() { Z3_del_config(m_cfg); } @@ -170,8 +170,8 @@ namespace z3 { } - context(context const & s); - context & operator=(context const & s); + context(context const & s) = delete; + context & operator=(context const & s) = delete; friend class scoped_context; context(Z3_context c) { set_context(c); }