From 99a6ca4e7cfc4fd2505114baf1b367ba7aff5976 Mon Sep 17 00:00:00 2001
From: Andy Wang <cbeuw.andy@gmail.com>
Date: Thu, 12 May 2022 22:44:28 +0100
Subject: [PATCH] Make StoreElement private

---
 src/weak_memory.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/weak_memory.rs b/src/weak_memory.rs
index aee47d0624..223567d3ca 100644
--- a/src/weak_memory.rs
+++ b/src/weak_memory.rs
@@ -88,7 +88,7 @@ pub struct StoreBuffer {
 }
 
 #[derive(Debug, Clone, PartialEq, Eq)]
-pub struct StoreElement {
+struct StoreElement {
     /// The identifier of the vector index, corresponding to a thread
     /// that performed the store.
     store_index: VectorIdx,