From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Apr 2021 15:31:27 +0000 (+0100)
Subject: vpid, miri: Disable the check fn too
X-Git-Tag: otter-0.5.0~71
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b0d8a6ddd3a9056f9408f76cb36b820cae67b4ca;p=otter.git

vpid, miri: Disable the check fn too

This is then unused and produces a warning.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/vpid.rs b/src/vpid.rs
index aa831d1c..f0575cbb 100644
--- a/src/vpid.rs
+++ b/src/vpid.rs
@@ -157,6 +157,7 @@ impl Notches {
   pub fn len(&self) -> NotchNumber { self.used }
   pub fn is_empty(&self) -> bool { self.used == 0 }
 
+  #[cfg(not(miri))]
   #[cfg(test)]
   fn check(&self) {
     let mut count_free = 0;