diff options
| author | chriseth <c@ethdev.com> | 2015-11-26 21:47:28 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-11-26 21:47:28 +0800 |
| commit | e06768e8b580d009b9a9905f70ae2d8814699115 (patch) | |
| tree | 1eb3bec6140d9b2e1ee57f62343dbc9c70d84c78 /libsolidity/formal/Why3Translator.h | |
| parent | 6a2a946200f3806d5daefa0220002ae934ea0ee3 (diff) | |
| download | dexon-solidity-e06768e8b580d009b9a9905f70ae2d8814699115.tar.gz dexon-solidity-e06768e8b580d009b9a9905f70ae2d8814699115.tar.zst dexon-solidity-e06768e8b580d009b9a9905f70ae2d8814699115.zip | |
Fix MSVC errors and warnings.
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. |