Repair deprecations once more.

oscar-system · Jan 12, 2024 · b223169 · b223169
1 parent 28dda8f
commit b223169
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/deprecations.jl b/src/deprecations.jl
@@ -527,3 +527,6 @@ Base.@deprecate_binding set_is_isomorphic_with_symmetric_group set_is_isomorphic
 Base.@deprecate_binding is_isomorphic_with_alternating_group is_isomorphic_to_alternating_group
 Base.@deprecate_binding has_is_isomorphic_with_alternating_group has_is_isomorphic_to_alternating_group
 Base.@deprecate_binding set_is_isomorphic_with_alternating_group set_is_isomorphic_to_alternating_group
+
+Base.@deprecate ambient_ring(U::AbsMultSet) ring(U)
+