From 6aeee2e4e37d4b8ffb8c50c109903ad336c8bdfa Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 15 Nov 2020 15:57:37 +0100
Subject: [attributes] Update error message referring to deprecated syntax.

---
 doc/sphinx/addendum/universe-polymorphism.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/addendum/universe-polymorphism.rst b/doc/sphinx/addendum/universe-polymorphism.rst
index 3790f36e5a..4615a8dfca 100644
--- a/doc/sphinx/addendum/universe-polymorphism.rst
+++ b/doc/sphinx/addendum/universe-polymorphism.rst
@@ -195,7 +195,7 @@ Cumulative, NonCumulative
    This means that two instances of the same inductive type (family)
    are convertible only if all the universes are equal.
 
-   .. exn:: The cumulative and noncumulative attributes can only be used in a polymorphic context.
+   .. exn:: The cumulative attribute can only be used in a polymorphic context.
 
       Using this attribute requires being in a polymorphic context,
       i.e. either having the :flag:`Universe Polymorphism` flag on, or
-- 
cgit v1.2.3