diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-09-07 21:20:19 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-09-07 21:21:02 +0800 |
| commit | 0a8f0fb051314260a8a9afc1c0a5f320d1006d1c (patch) | |
| tree | a0fa32dc93cbcac648fbc09349072197360e22dc /libsolidity/formal/Why3Translator.h | |
| parent | 940c5a861291a97e53e92e79450c8fbb9a38b6f2 (diff) | |
| download | dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.gz dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.zst dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.zip | |
Append an issue id #1043 to a @todo comment about it
Diffstat (limited to 'libsolidity/formal/Why3Translator.h')
| -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 */ |