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/ErrorReporter.cpp | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'libsolidity/interface/ErrorReporter.cpp') diff --git a/libsolidity/interface/ErrorReporter.cpp b/libsolidity/interface/ErrorReporter.cpp index 2cbb952c..6e2667a5 100644 --- a/libsolidity/interface/ErrorReporter.cpp +++ b/libsolidity/interface/ErrorReporter.cpp @@ -165,22 +165,3 @@ void ErrorReporter::docstringParsingError(string const& _description) _description ); } - -void ErrorReporter::why3TranslatorError(ASTNode const& _location, std::string const& _description) -{ - error( - Error::Type::Why3TranslatorError, - _location.location(), - _description - ); -} - -void ErrorReporter::fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description) -{ - fatalError( - Error::Type::Why3TranslatorError, - _location.location(), - _description - ); -} - -- cgit v1.2.3