diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-01 05:30:43 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-01 05:30:43 +0800 |
| commit | c5947ae6e314fc66612846a760bafe4467414c6b (patch) | |
| tree | 53f9b3bf00df824adb3813eb80d51e83d2659264 /libsolidity/interface/ErrorReporter.cpp | |
| parent | b3be9d6fdc195519eccce22f07af5ee42af399ed (diff) | |
| download | dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.gz dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.zst dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.zip | |
Remove Why3 error class
Diffstat (limited to 'libsolidity/interface/ErrorReporter.cpp')
| -rw-r--r-- | libsolidity/interface/ErrorReporter.cpp | 19 |
1 files changed, 0 insertions, 19 deletions
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 - ); -} - |