make group_multiset_properties public (#1469)

verus-lang · Feb 23, 2025 · d0282f0 · d0282f0
1 parent 3be91f6
commit d0282f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,