From f44be616c96159fca18ad2f9ca4a1c0cb4218490 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Fri, 3 Aug 2018 16:48:20 +0200 Subject: Renaming json fields smtlib2queries and smtlib2responses --- libsolidity/interface/StandardCompiler.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'libsolidity') 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; -- cgit