cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove the usage of boost::noncopyable

Browse Source 
Prior to this half of the codebase used explicit deleted copy constructors, the others used boost::noncopyable.
This commit is contained in:
Alex Beregszaszi
2021-04-23 14:57:01 +01:00
parent 15decd2413
commit e39433198d
20 changed files with 70 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsmtutil/SMTLib2Interface.h
+5 -2
View File
@@ -25,7 +25,6 @@
#include <libsolutil/Common.h>
#include <libsolutil/FixedHash.h>
#include <boost/noncopyable.hpp>
#include <cstdio>
#include <map>
#include <set>
@@ -35,9 +34,13 @@
namespace solidity::smtutil
{
class SMTLib2Interface: public SolverInterface, public boost::noncopyable
class SMTLib2Interface: public SolverInterface
{
public:
/// Noncopyable.
SMTLib2Interface(SMTLib2Interface const&) = delete;
SMTLib2Interface& operator=(SMTLib2Interface const&) = delete;
explicit SMTLib2Interface(
std::map<util::h256, std::string> _queryResponses = {},
frontend::ReadCallback::Callback _smtCallback = {},