diff options
| author | chriseth <chris@ethereum.org> | 2017-10-13 23:57:58 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-11-23 16:43:49 +0800 |
| commit | 54bed454f6e7a53f51ec7e9bda7805900a2c8472 (patch) | |
| tree | 87be069348deaac4cc526f227466adadec1d94de /libsolidity/interface/StandardCompiler.cpp | |
| parent | bb10be789c269927e593b41d37aa0637db68bbe1 (diff) | |
| download | dexon-solidity-54bed454f6e7a53f51ec7e9bda7805900a2c8472.tar.gz dexon-solidity-54bed454f6e7a53f51ec7e9bda7805900a2c8472.tar.zst dexon-solidity-54bed454f6e7a53f51ec7e9bda7805900a2c8472.zip | |
Rename function and warn if responses are supplied for Z3.
Diffstat (limited to 'libsolidity/interface/StandardCompiler.cpp')
| -rw-r--r-- | libsolidity/interface/StandardCompiler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libsolidity/interface/StandardCompiler.cpp b/libsolidity/interface/StandardCompiler.cpp index 59c28cd9..a3cb90b1 100644 --- a/libsolidity/interface/StandardCompiler.cpp +++ b/libsolidity/interface/StandardCompiler.cpp @@ -539,8 +539,8 @@ Json::Value StandardCompiler::compileInternal(Json::Value const& _input) if (errors.size() > 0) output["errors"] = errors; - if (!m_compilerStack.unhandledSMTQueries().empty()) - for (string const& query: m_compilerStack.unhandledSMTQueries()) + if (!m_compilerStack.unhandledSMTLib2Queries().empty()) + for (string const& query: m_compilerStack.unhandledSMTLib2Queries()) output["auxiliaryInputRequested"]["smtlib2"]["0x" + keccak256(query).hex()] = query; output["sources"] = Json::objectValue; |