From ad1e09b87241d4fa1a2867dadf0117c6854e3550 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 10 Apr 2020 18:35:40 +0200
Subject: [PATCH] Miri: also check for leaks

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

diff --git a/miri.sh b/miri.sh
index 596da4e..8f9a79e 100755
--- a/miri.sh
+++ b/miri.sh
@@ -13,4 +13,4 @@ rustup component add miri
 cargo miri setup
 
 export RUST_TEST_THREADS=1
-cargo miri test -- -Zmiri-ignore-leaks
\ No newline at end of file
+cargo miri test