cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #10378 from ethereum/smt_fix_spellcheck

Browse Source 
Fix spelling in SMTChecker comment
This commit is contained in:
Leonardo 2020-11-23 18:14:58 -01:00 committed by GitHub
commit 61425e3541
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/SMTEncoder.cpp
View File

@ -1124,7 +1124,7 @@ bool SMTEncoder::visit(MemberAccess const& _memberAccess)
}
else
// NOTE: supporting name, creationCode, runtimeCode would be easy enough, but the bytes/string they return are not
// at all useable in the SMT checker currently
// at all usable in the SMT checker currently
m_errorReporter.warning(
7507_error,
_memberAccess.location(),