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.h | |
| 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.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(); |