aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
diff options
context:
space:
mode:
authorYoichi Hirai <i@yoichihirai.com>2016-09-07 21:20:19 +0800
committerYoichi Hirai <i@yoichihirai.com>2016-09-07 21:21:02 +0800
commit0a8f0fb051314260a8a9afc1c0a5f320d1006d1c (patch)
treea0fa32dc93cbcac648fbc09349072197360e22dc /libsolidity
parent940c5a861291a97e53e92e79450c8fbb9a38b6f2 (diff)
downloaddexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.gz
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.bz2
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.lz
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.xz
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.tar.zst
dexon-solidity-0a8f0fb051314260a8a9afc1c0a5f320d1006d1c.zip
Append an issue id #1043 to a @todo comment about it
Diffstat (limited to 'libsolidity')
-rw-r--r--libsolidity/formal/Why3Translator.h2
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
*/