From 738cd00f1d3b40a4856785e5a96b2ca4b0cc4e7f Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 4 Oct 2012 14:09:42 -0700
Subject: rt: Remove CHECK_CLAIMS

---
 src/rt/rust.cpp | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/rt/rust.cpp')

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
-- 
cgit 1.4.1-3-g733a5