From c5947ae6e314fc66612846a760bafe4467414c6b Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Fri, 30 Jun 2017 22:30:43 +0100 Subject: Remove Why3 error class --- libsolidity/interface/Exceptions.cpp | 3 --- 1 file changed, 3 deletions(-) (limited to 'libsolidity/interface/Exceptions.cpp') 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; -- cgit v1.2.3