diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-01 05:30:43 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-01 05:30:43 +0800 |
| commit | c5947ae6e314fc66612846a760bafe4467414c6b (patch) | |
| tree | 53f9b3bf00df824adb3813eb80d51e83d2659264 /libsolidity/interface/Exceptions.cpp | |
| parent | b3be9d6fdc195519eccce22f07af5ee42af399ed (diff) | |
| download | dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.gz dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.zst dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.zip | |
Remove Why3 error class
Diffstat (limited to 'libsolidity/interface/Exceptions.cpp')
| -rw-r--r-- | libsolidity/interface/Exceptions.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp index deee92aa..9f2a2d06 100644 --- a/libsolidity/interface/Exceptions.cpp +++ b/libsolidity/interface/Exceptions.cpp @@ -46,9 +46,6 @@ Error::Error(Type _type, SourceLocation const& _location, string const& _descrip case Type::TypeError: m_typeName = "TypeError"; break; - case Type::Why3TranslatorError: - m_typeName = "Why3TranslatorError"; - break; case Type::Warning: m_typeName = "Warning"; break; |