cerc-io/solidity
10
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

Merge pull request #4606 from ethereum/smtportfolio

Browse Source 
Import dev::solidity namespace in SMTPortfolio
This commit is contained in:
Alex Beregszaszi 2018-07-28 00:50:44 +01:00 committed by GitHub
commit 705cbbc19a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libsolidity/formal/SMTPortfolio.cpp
View File

@ -29,6 +29,7 @@
using namespace std; using namespace std;
using namespace dev; using namespace dev;
using namespace dev::solidity;
using namespace dev::solidity::smt; using namespace dev::solidity::smt;
SMTPortfolio::SMTPortfolio(ReadCallback::Callback const& _readCallback) SMTPortfolio::SMTPortfolio(ReadCallback::Callback const& _readCallback)