user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Disable blood letting edge features

Browse source
This commit is contained in:
Oliver Schneider 2018-07-25 15:48:20 +02:00
parent b7c57fee61
commit 305d8aeafe
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Cargo.toml
View file

@ -1,5 +1,3 @@
cargo-features = ["default-run"]
[package]
authors = ["Scott Olson <scott@solson.me>"]
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