aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/Why3Translator.h
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2015-11-27 00:40:40 +0800
committerchriseth <c@ethdev.com>2015-11-27 00:40:40 +0800
commitc806b9bcdb26fe031da94b8cdb270cb3c75b8af9 (patch)
tree83159d4b3367d9278ea67d37409fa856c58f11bb /libsolidity/formal/Why3Translator.h
parentc498dcce22b2921ee57f280da9117e491c021e1b (diff)
parent4aaa150674d5970f651ab3e95e5b0e2daac0e7e0 (diff)
downloaddexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar
dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.gz
dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.bz2
dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.lz
dexon-solidity-c806b9bcdb26fe031da94b8cdb270cb3c75b8af9.tar.xz
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.h2
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