From efbd9dc64a40e8593afe299ad8d5887076d7cef8 Mon Sep 17 00:00:00 2001
From: Alec Edgington <alec.edgington@quantinuum.com>
Date: Mon, 1 Jul 2024 13:09:29 +0100
Subject: [PATCH] Update justfile as well.

---
 justfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/justfile b/justfile
index f7f52f2f0..93769505e 100644
--- a/justfile
+++ b/justfile
@@ -44,7 +44,7 @@ coverage language="[rust|python]": (_run_lang language \
 
 # Run unsoundness checks using miri
 miri:
-    PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE' cargo +nightly miri test
+    PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE -Zmiri-disable-isolation' cargo +nightly miri test
 
 # Load a shell with all the dependencies installed
 shell: