Remove unused CompilerStack::m_sourceJsons

This commit is contained in:
Kamil Śliwak
2023-04-20 20:01:45 +02:00
parent 611e02c038
commit f5b2044ed1
2 changed files with 2 additions and 5 deletions
-2
View File
@@ -514,8 +514,6 @@ private:
std::map<std::string, util::h160> m_libraries;
ImportRemapper m_importRemapper;
std::map<std::string const, Source> m_sources;
// if imported, store AST-JSONS for each filename
std::map<std::string, Json::Value> m_sourceJsons;
std::vector<std::string> m_unhandledSMTLib2Queries;
std::map<util::h256, std::string> m_smtlib2Responses;
std::shared_ptr<GlobalContext> m_globalContext;