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

Mark constructors explicit

Browse Source
This commit is contained in:
Alex Beregszaszi
2017-09-20 01:23:21 +01:00
parent aad829948a
commit 1c0c5d923a
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTLib2Interface.h
+1 -1
View File
@@ -41,7 +41,7 @@ namespace smt
class SMTLib2Interface: public SolverInterface, public boost::noncopyable
{
public:
SMTLib2Interface(ReadCallback::Callback const& _queryCallback);
explicit SMTLib2Interface(ReadCallback::Callback const& _queryCallback);
void reset() override;