diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-10-04 14:09:42 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-10-04 14:10:45 -0700 |
| commit | 738cd00f1d3b40a4856785e5a96b2ca4b0cc4e7f (patch) | |
| tree | f93eabac853ebc78971f9d2c33558f81745524c5 /src/rt/rust.cpp | |
| parent | f05bf26f859f9e373d5044048b8c937023497690 (diff) | |
| download | rust-738cd00f1d3b40a4856785e5a96b2ca4b0cc4e7f.tar.gz rust-738cd00f1d3b40a4856785e5a96b2ca4b0cc4e7f.zip | |
rt: Remove CHECK_CLAIMS
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index 11e65347f11..805ec37bfea 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -67,11 +67,6 @@ 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 (#2670): This belongs somewhere else -int check_claims = 0; - void* global_crate_map = NULL; /** @@ -94,9 +89,6 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { update_log_settings(crate_map, env->logspec); - // Maybe turn on typestate claim checking - check_claims = env->check_claims; - rust_kernel *kernel = new rust_kernel(env); // Create the main scheduler and the main task |