diff options
Diffstat (limited to 'libsolidity/interface')
| -rw-r--r-- | libsolidity/interface/Exceptions.cpp | 4 | ||||
| -rw-r--r-- | libsolidity/interface/Exceptions.h | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp index 84d4d108..465c3d2f 100644 --- a/libsolidity/interface/Exceptions.cpp +++ b/libsolidity/interface/Exceptions.cpp @@ -42,8 +42,8 @@ Error::Error(Type _type): m_type(_type) case Type::TypeError: m_typeName = "Type Error"; break; - case Type::FormalError: - m_typeName = "Formal Error"; + case Type::Why3TranslatorError: + m_typeName = "Why3 Translator Error"; break; case Type::Warning: m_typeName = "Warning"; diff --git a/libsolidity/interface/Exceptions.h b/libsolidity/interface/Exceptions.h index 830ec286..14be3c3d 100644 --- a/libsolidity/interface/Exceptions.h +++ b/libsolidity/interface/Exceptions.h @@ -47,7 +47,7 @@ public: DocstringParsingError, ParserError, TypeError, - FormalError, + Why3TranslatorError, Warning }; |