From 305d8aeafe4ab53d7809ec6a1b9227166bd4fa63 Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Wed, 25 Jul 2018 15:48:20 +0200 Subject: [PATCH] Disable blood letting edge features --- Cargo.toml | 3 --- 1 file changed, 3 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 417d76c54cb3..c46ba7c41429 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,5 +1,3 @@ -cargo-features = ["default-run"] - [package] authors = ["Scott Olson "] description = "An experimental interpreter for Rust MIR." @@ -8,7 +6,6 @@ name = "miri" repository = "https://github.com/solson/miri" version = "0.1.0" build = "build.rs" -default-run = "miri" [[bin]] doc = false