Always enable stdlib

This commit is contained in:
Alex Beregszaszi 2022-06-27 01:05:53 +02:00
parent be08ac21a2
commit 23c2bc2b9b

View File

@ -491,7 +491,7 @@ private:
RevertStrings m_revertStrings = RevertStrings::Default;
State m_stopAfter = State::CompilationSuccessful;
bool m_viaIR = false;
bool m_stdlib = false;
bool m_stdlib = true;
langutil::EVMVersion m_evmVersion;
ModelCheckerSettings m_modelCheckerSettings;
std::map<std::string, std::set<std::string>> m_requestedContractNames;