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 7a909c57348..67b3bf84938 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 (#2670) +// executed Generated code will read this variable directly (I think). +// FIXME (#2670): This belongs somewhere else int check_claims = 0; /** |