Make StoreElement private

rust-lang · May 12, 2022 · 20f1a88 · 20f1a88
1 parent 56f9e75
commit 20f1a88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,