diff --git a/src/Deprecations.jl b/src/Deprecations.jl index 788aaae5a..d1ebcb189 100644 --- a/src/Deprecations.jl +++ b/src/Deprecations.jl @@ -1,2 +1,3 @@ # deprecated in 0.40.x @deprecate ordering(R::MPolyRing) internal_ordering(R::MPolyRing) +@deprecate ordering(R::UniversalPolyRing) internal_ordering(R::UniversalPolyRing)