From 7ae9e2cd1f1fbfa99c74f3676b8026d46fdb076a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 6 Dec 2019 09:43:14 +0100
Subject: [PATCH] Miri now supports catching panics

---
 ci/miri.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/miri.sh b/ci/miri.sh
index 5528bbc..6b95c2d 100644
--- a/ci/miri.sh
+++ b/ci/miri.sh
@@ -12,4 +12,4 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
 
-cargo miri test -- -- -Zunstable-options --exclude-should-panic
+cargo miri test