Auto merge of #827 - lzutao:patch-1, r=RalfJung

bors · bors · commit 67fd5a440938 · 2019-07-06T10:02:17.000Z
Remove stable cargo feature `default-run`

At least on beta.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,5 +1,3 @@
-cargo-features = ["default-run"]
-
 [package]
 authors = ["Scott Olson <scott@solson.me>"]
 description = "An experimental interpreter for Rust MIR."

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-cargo-features = ["default-run"]`
`2`		`-`
`3`	`1`	`[package]`
`4`	`2`	`authors = ["Scott Olson <[email protected]>"]`
`5`	`3`	`description = "An experimental interpreter for Rust MIR."`