diff options
| author | chriseth <c@ethdev.com> | 2015-11-26 22:28:28 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-11-26 22:28:28 +0800 |
| commit | c498dcce22b2921ee57f280da9117e491c021e1b (patch) | |
| tree | 1eb3bec6140d9b2e1ee57f62343dbc9c70d84c78 /libsolidity/formal/Why3Translator.h | |
| parent | cd94aa978a77ace1296f9978bfae6d8735b5c91d (diff) | |
| parent | e06768e8b580d009b9a9905f70ae2d8814699115 (diff) | |
| download | dexon-solidity-c498dcce22b2921ee57f280da9117e491c021e1b.tar.gz dexon-solidity-c498dcce22b2921ee57f280da9117e491c021e1b.tar.zst dexon-solidity-c498dcce22b2921ee57f280da9117e491c021e1b.zip | |
Merge pull request #222 from chriseth/newArrays
Dynamically create memory arrays.
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 34c6c34f..e5c298b4 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -43,7 +43,7 @@ class SourceUnit; class Why3Translator: private ASTConstVisitor { public: - Why3Translator(ErrorList& _errors): m_lines{{std::string(), 0}}, m_errors(_errors) {} + Why3Translator(ErrorList& _errors): m_lines(std::vector<Line>{{std::string(), 0}}), m_errors(_errors) {} /// Appends formalisation of the given source unit to the output. /// @returns false on error. |