From e06768e8b580d009b9a9905f70ae2d8814699115 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Thu, 26 Nov 2015 14:47:28 +0100
Subject: Fix MSVC errors and warnings.

---
 libsolidity/formal/Why3Translator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'libsolidity/formal')

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.
-- 
cgit