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 e16c41ab..834024fa 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -683,7 +683,7 @@ bool Why3Translator::visit(Literal const& _literal) else add("(of_int " + toString(type->literalValue(&_literal)) + ")"); break; - } + } default: error(_literal, "Not supported."); } |