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

Import dev::solidity namespace in SMTPortfolio

Browse Source
This commit is contained in:
Alex Beregszaszi
2018-07-27 23:17:17 +01:00
parent e56a88be37
commit 179427fd65
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTPortfolio.cpp
+1
View File
@@ -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)