diff options
author | Leonardo Alt <leo@ethereum.org> | 2018-08-03 22:48:20 +0800 |
---|---|---|
committer | Leonardo Alt <leo@ethereum.org> | 2018-11-23 16:43:49 +0800 |
commit | f44be616c96159fca18ad2f9ca4a1c0cb4218490 (patch) | |
tree | 82fdc07f23a29d1fbd96f6ee26285fcc9078a9b0 /libsolidity | |
parent | 54bed454f6e7a53f51ec7e9bda7805900a2c8472 (diff) | |
download | dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar.gz dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar.bz2 dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar.lz dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar.xz dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.tar.zst dexon-solidity-f44be616c96159fca18ad2f9ca4a1c0cb4218490.zip |
Renaming json fields smtlib2queries and smtlib2responses
Diffstat (limited to 'libsolidity')
-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 a3cb90b1..bf33b789 100644 --- a/libsolidity/interface/StandardCompiler.cpp +++ b/libsolidity/interface/StandardCompiler.cpp @@ -322,7 +322,7 @@ Json::Value StandardCompiler::compileInternal(Json::Value const& _input) Json::Value const& auxInputs = _input["auxiliaryInput"]; if (!!auxInputs) { - Json::Value const& smtlib2Responses = auxInputs["smtlib2"]; + Json::Value const& smtlib2Responses = auxInputs["smtlib2responses"]; if (!!smtlib2Responses) for (auto const& hashString: smtlib2Responses.getMemberNames()) { @@ -541,7 +541,7 @@ Json::Value StandardCompiler::compileInternal(Json::Value const& _input) if (!m_compilerStack.unhandledSMTLib2Queries().empty()) for (string const& query: m_compilerStack.unhandledSMTLib2Queries()) - output["auxiliaryInputRequested"]["smtlib2"]["0x" + keccak256(query).hex()] = query; + output["auxiliaryInputRequested"]["smtlib2queries"]["0x" + keccak256(query).hex()] = query; output["sources"] = Json::objectValue; unsigned sourceIndex = 0; |