From d5f8ce90c7a76870e5a9d0fe6f9fd709a7383572 Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Wed, 21 Jun 2017 21:50:57 +0100 Subject: Merge interface/Exceptions and interface/Utils --- libsolidity/interface/Exceptions.cpp | 1 - 1 file changed, 1 deletion(-) (limited to 'libsolidity/interface/Exceptions.cpp') diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp index c09180de..deee92aa 100644 --- a/libsolidity/interface/Exceptions.cpp +++ b/libsolidity/interface/Exceptions.cpp @@ -21,7 +21,6 @@ */ #include -#include using namespace std; using namespace dev; -- cgit v1.2.3 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