diff options
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index e5b16844..46601f89 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -36,7 +36,7 @@ class SourceUnit; /** * Simple translator from Solidity to Why3. * - * @todo detect side effects in sub-expressions and limit them to one per statement. + * @todo detect side effects in sub-expressions and limit them to one per statement. #1043 * @todo `x = y = z` * @todo implicit and explicit type conversion */ |