From 179427fd659b5b5471d0a4b9a94f015bd6665c96 Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Fri, 27 Jul 2018 22:39:36 +0100 Subject: Import dev::solidity namespace in SMTPortfolio --- libsolidity/formal/SMTPortfolio.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'libsolidity') 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) -- cgit