diff options
Diffstat (limited to 'libsolidity/formal/Why3Translator.cpp')
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 0d3d1586..944b1e7b 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -46,7 +46,7 @@ bool Why3Translator::process(SourceUnit const& _source) void Why3Translator::error(ASTNode const& _node, string const& _description) { - auto err = make_shared<Error>(Error::Type::FormalError); + auto err = make_shared<Error>(Error::Type::Why3TranslatorError); *err << errinfo_sourceLocation(_node.location()) << errinfo_comment(_description); |