diff options
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; /** |