diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 07:50:44 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-28 07:50:44 +0800 |
| commit | 705cbbc19a96c465b06973cd832c3674b956eba8 (patch) | |
| tree | 1ad94956e48704dd57923b83ac15dee28122f779 /libsolidity | |
| parent | e56a88be37079f27dc999e4c32446958de88be99 (diff) | |
| parent | 179427fd659b5b5471d0a4b9a94f015bd6665c96 (diff) | |
| download | dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar.gz dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar.bz2 dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar.lz dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar.xz dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.tar.zst dexon-solidity-705cbbc19a96c465b06973cd832c3674b956eba8.zip | |
Merge pull request #4606 from ethereum/smtportfolio
Import dev::solidity namespace in SMTPortfolio
Diffstat (limited to 'libsolidity')
| -rw-r--r-- | libsolidity/formal/SMTPortfolio.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libsolidity/formal/SMTPortfolio.cpp b/libsolidity/formal/SMTPortfolio.cpp index 64806097..8b9fe9ce 100644 --- a/libsolidity/formal/SMTPortfolio.cpp +++ b/libsolidity/formal/SMTPortfolio.cpp @@ -29,6 +29,7 @@ using namespace std; using namespace dev; +using namespace dev::solidity; using namespace dev::solidity::smt; SMTPortfolio::SMTPortfolio(ReadCallback::Callback const& _readCallback) |