diff options
| author | chriseth <c@ethdev.com> | 2015-11-27 00:40:40 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-11-27 00:40:40 +0800 |
| commit | c806b9bcdb26fe031da94b8cdb270cb3c75b8af9 (patch) | |
| tree | 83159d4b3367d9278ea67d37409fa856c58f11bb /libsolidity/formal/Why3Translator.h | |
| parent | c498dcce22b2921ee57f280da9117e491c021e1b (diff) | |
| parent | 4aaa150674d5970f651ab3e95e5b0e2daac0e7e0 (diff) | |
| download | dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.gz dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.zst dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.zip | |
Merge pull request #246 from chriseth/refactor
Refactoring - more flexible contracts.
Diffstat (limited to 'libsolidity/formal/Why3Translator.h')
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index e5c298b4..f4315a7a 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -117,7 +117,7 @@ private: bool m_seenContract = false; bool m_errorOccured = false; - std::vector<ASTPointer<VariableDeclaration>> const* m_stateVariables = nullptr; + std::vector<VariableDeclaration const*> m_stateVariables; std::map<std::string, VariableDeclaration const*> m_localVariables; struct Line |