diff options
| author | chriseth <chris@ethereum.org> | 2017-09-28 17:29:04 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-10-18 01:29:53 +0800 |
| commit | 1f97c1ea8fec9a755d767811731f57fd527747b5 (patch) | |
| tree | 064601c3395fdadef118968950b42a5dd3d3fe20 /libsolidity/formal/SMTChecker.h | |
| parent | 846b43479dc2991fbbab8b497a622fd58204e08e (diff) | |
| download | dexon-solidity-1f97c1ea8fec9a755d767811731f57fd527747b5.tar.gz dexon-solidity-1f97c1ea8fec9a755d767811731f57fd527747b5.tar.zst dexon-solidity-1f97c1ea8fec9a755d767811731f57fd527747b5.zip | |
Rename variables in SMT checker.
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index d23fd201..faaac639 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -103,8 +103,8 @@ private: std::shared_ptr<smt::SolverInterface> m_interface; std::map<Declaration const*, int> m_currentSequenceCounter; std::map<Declaration const*, int> m_nextFreeSequenceCounter; - std::map<Expression const*, smt::Expression> m_Expressions; - std::map<Declaration const*, smt::Expression> m_Variables; + std::map<Expression const*, smt::Expression> m_expressions; + std::map<Declaration const*, smt::Expression> m_variables; ErrorReporter& m_errorReporter; FunctionDefinition const* m_currentFunction = nullptr; |