diff options
author | Bob Summerwill <bob@summerwill.net> | 2016-03-18 16:22:15 +0800 |
---|---|---|
committer | Bob Summerwill <bob@summerwill.net> | 2016-03-18 16:22:15 +0800 |
commit | a1ce66b304e7187cfae1457de91a031c0931273c (patch) | |
tree | 90393a24a3ae9cbad81ae48e9fa7b2db11c671ec /libsolidity/formal/Why3Translator.cpp | |
parent | 11d67369bd0faee2b84c94522355ac963d726f16 (diff) | |
download | dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.tar.gz dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.tar.zst dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.zip |
Fixed Windows warnings
Diffstat (limited to 'libsolidity/formal/Why3Translator.cpp')
-rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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, ""); } |