From ffc9a55d32e6e11c84348079faee1cc42527dc50 Mon Sep 17 00:00:00 2001
From: Johannes Schmitt <jschmitt@posteo.eu>
Date: Wed, 14 Feb 2024 12:44:46 +0100
Subject: [PATCH] Add another deprecation

---
 src/Deprecations.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Deprecations.jl b/src/Deprecations.jl
index 788aaae5a2..d1ebcb189a 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)