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.h | 4 ---- 1 file changed, 4 deletions(-) (limited to 'libsolidity/interface/ErrorReporter.h') diff --git a/libsolidity/interface/ErrorReporter.h b/libsolidity/interface/ErrorReporter.h index 83324446..e5605d24 100644 --- a/libsolidity/interface/ErrorReporter.h +++ b/libsolidity/interface/ErrorReporter.h @@ -79,10 +79,6 @@ public: void docstringParsingError(std::string const& _location); - void why3TranslatorError(ASTNode const& _location, std::string const& _description); - - void fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description); - ErrorList const& errors() const; void clear(); -- cgit v1.2.3