diff options
Diffstat (limited to 'src/rt/rust_globals.h')
| -rw-r--r-- | src/rt/rust_globals.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/rt/rust_globals.h b/src/rt/rust_globals.h index 84c5eca0afb..ec60af87b6b 100644 --- a/src/rt/rust_globals.h +++ b/src/rt/rust_globals.h @@ -69,10 +69,6 @@ extern "C" { #define FASTCALL #endif -/* Controls whether claims are turned into checks */ -/* Variable name must be kept consistent with trans.rs */ -extern "C" int check_claims; - #define CHECKED(call) \ { \ int res = (call); \ |