From d0282f046209a23cf0724fd6c8842f9279762d43 Mon Sep 17 00:00:00 2001
From: Alex Bai <52595524+ahuoguo@users.noreply.github.com>
Date: Sun, 23 Feb 2025 16:56:10 +0100
Subject: [PATCH] make group_multiset_properties public (#1469)

---
 source/vstd/multiset.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/vstd/multiset.rs b/source/vstd/multiset.rs
index 9560d24f0b..00268a01c6 100644
--- a/source/vstd/multiset.rs
+++ b/source/vstd/multiset.rs
@@ -653,7 +653,7 @@ pub proof fn lemma_multiset_properties<V>()
 
 }
 
-broadcast group group_multiset_properties {
+pub broadcast group group_multiset_properties {
     lemma_update_same,
     lemma_update_different,
     lemma_insert_containment,