From a1ce66b304e7187cfae1457de91a031c0931273c Mon Sep 17 00:00:00 2001 From: Bob Summerwill Date: Fri, 18 Mar 2016 01:22:15 -0700 Subject: Fixed Windows warnings --- libsolidity/formal/Why3Translator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libsolidity/formal/Why3Translator.cpp') diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 5028e2c3..24fbab13 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -36,7 +36,7 @@ bool Why3Translator::process(SourceUnit const& _source) appendPreface(); _source.accept(*this); } - catch (FatalError& _e) + catch (FatalError& /*_e*/) { solAssert(m_errorOccured, ""); } -- cgit