From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Mar 2022 22:40:14 +0000 (+0100)
Subject: Revert "Mutex debug: Enable it (for demo and testing)"
X-Git-Tag: otter-1.0.0~102
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=9a605e7d97c76c5b0bbe9537e117165cdd529325;p=otter.git

Revert "Mutex debug: Enable it (for demo and testing)"

This reverts commit 7456a32426e6b4a487adcc279db4547639a0ffba.
---

diff --git a/src/prelude.rs b/src/prelude.rs
index 2dfb5cd9..06b91eea 100644
--- a/src/prelude.rs
+++ b/src/prelude.rs
@@ -113,8 +113,8 @@ pub use crate::imports::zipfile::{self, read::ZipFile, result::ZipError};
 pub use parking_lot::{RwLock, RwLockReadGuard, RwLockWriteGuard};
 
 // Swap this over for debugging
-//pub use parking_lot::{Mutex, MutexGuard};
-pub use crate::debugmutex::{Mutex, MutexGuard};
+pub use parking_lot::{Mutex, MutexGuard};
+//pub use crate::debugmutex::{Mutex, MutexGuard};
 
 use nix::time::ClockId;
 pub const CLOCK_REALTIME : ClockId = ClockId::CLOCK_REALTIME ;