diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 14:17:54 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 16:03:28 -0700 |
| commit | c814df0bd67ba52357074d9f9a56327f93fdfcda (patch) | |
| tree | 08367039f3be827e98a808fb7d90be23e98226b2 /src/rt/rust.cpp | |
| parent | be8b09160bb6cefc239a8ede5e4ac01e1d61adf9 (diff) | |
| download | rust-c814df0bd67ba52357074d9f9a56327f93fdfcda.tar.gz rust-c814df0bd67ba52357074d9f9a56327f93fdfcda.zip | |
Comments only: annotate FIXMEs
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
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<command_line_args> }; // 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; /** |