From b45885d31fb32d0c9e05b054ef18698579c244ab Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 1 Aug 2018 16:34:39 +0200 Subject: [PATCH] Revert "Disable blood letting edge features" This reverts commit 305d8aeafe4ab53d7809ec6a1b9227166bd4fa63. --- Cargo.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Cargo.toml b/Cargo.toml index 07ebca6491dd..23c7856cc773 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,3 +1,5 @@ +cargo-features = ["default-run"] + [package] authors = ["Scott Olson "] description = "An experimental interpreter for Rust MIR." @@ -6,6 +8,7 @@ name = "miri" repository = "https://github.com/solson/miri" version = "0.1.0" build = "build.rs" +default-run = "miri" [[bin]] doc = false