diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 05:39:36 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 06:17:17 +0800 |
| commit | 179427fd659b5b5471d0a4b9a94f015bd6665c96 (patch) | |
| tree | 1ad94956e48704dd57923b83ac15dee28122f779 | |
| parent | e56a88be37079f27dc999e4c32446958de88be99 (diff) | |
| download | dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar.gz dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar.bz2 dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar.lz dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar.xz dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.tar.zst dexon-solidity-179427fd659b5b5471d0a4b9a94f015bd6665c96.zip | |
Import dev::solidity namespace in SMTPortfolio
| -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) |