Merge pull request #518 from RalfJung/miri

shepmaster · web-flow · commit 55a56cb97dd7 · 2019-07-24T09:06:21.000-04:00
miri no longer needs -Zmiri-seed
diff --git a/compiler/miri/cargo-miri-playground b/compiler/miri/cargo-miri-playground
@@ -3,4 +3,4 @@
 set -eu
 
 export MIRI_SYSROOT=~/.cache/miri/HOST
-exec cargo miri -- -Zmiri-seed=cafedead
+exec cargo miri
