From c814df0bd67ba52357074d9f9a56327f93fdfcda Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 21 Jun 2012 14:17:54 -0700 Subject: Comments only: annotate FIXMEs --- src/rt/rust.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/rt/rust.cpp') diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index 7efc3b8839c..7a909c57348 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -67,8 +67,8 @@ command_line_args : public kernel_owned }; // A global that indicates whether Rust typestate claim statements should be -// executed Generated code will read this variable directly (I think). -// FIXME: This belongs somewhere else +// executed. Generated code will read this variable directly (I think). +// FIXME: This belongs somewhere else (#2670) int check_claims = 0; /** -- cgit 1.4.1-3-g733a5