From 56f5d5885090a03ea9223f2210e70b6c78a1cb75 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 27 Oct 2015 17:45:58 +0100 Subject: Rename error type. --- libsolidity/interface/Exceptions.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'libsolidity/interface/Exceptions.cpp') 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"; -- cgit