From 0a8f0fb051314260a8a9afc1c0a5f320d1006d1c Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Wed, 7 Sep 2016 15:20:19 +0200 Subject: Append an issue id #1043 to a @todo comment about it --- libsolidity/formal/Why3Translator.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libsolidity') 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 */ -- cgit