diff options
Diffstat (limited to 'libsolidity/interface/ErrorReporter.h')
| -rw-r--r-- | libsolidity/interface/ErrorReporter.h | 4 |
1 files changed, 0 insertions, 4 deletions
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(); |