From 2decc78db93fe88fc498bff17dc4a215ef92f9d7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 10 Apr 2021 14:20:06 +0200
Subject: [PATCH] make sure that we truly do not run no_run doctests

---
 test-cargo-miri/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-cargo-miri/src/lib.rs b/test-cargo-miri/src/lib.rs
index b11a64da13b..5b84c454c36 100644
--- a/test-cargo-miri/src/lib.rs
+++ b/test-cargo-miri/src/lib.rs
@@ -3,7 +3,7 @@
 /// assert!(cargo_miri_test::make_true());
 /// ```
 /// ```rust,no_run
-/// assert!(cargo_miri_test::make_true());
+/// assert!(!cargo_miri_test::make_true());
 /// ```
 /// ```rust,compile_fail
 /// assert!(cargo_miri_test::make_true() == 5);