From 68cfa0a9018fcac8b909e47985ef03263bc8ff36 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Mon, 23 Nov 2020 19:40:29 +0100 Subject: [PATCH] Fix spelling in SMTChecker comment --- libsolidity/formal/SMTEncoder.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsolidity/formal/SMTEncoder.cpp b/libsolidity/formal/SMTEncoder.cpp index bbbe1b00d..be7112ad1 100644 --- a/libsolidity/formal/SMTEncoder.cpp +++ b/libsolidity/formal/SMTEncoder.cpp @@ -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(),