From a637acb7940706d162fe46b1359638f986d4c9bd Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 6 Nov 2020 11:34:40 +0100
Subject: Update mathcomp/ssreflect/ssrnat.v

---
 mathcomp/ssreflect/ssrnat.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mathcomp/ssreflect/ssrnat.v b/mathcomp/ssreflect/ssrnat.v
index 0aacfa4..568f8b0 100644
--- a/mathcomp/ssreflect/ssrnat.v
+++ b/mathcomp/ssreflect/ssrnat.v
@@ -2035,7 +2035,8 @@ Notation "@ 'odd_opp'" :=
 Notation "@ 'sqrn_sub'" :=
   (deprecate sqrn_sub sqrnB) (at level 10, only parsing) : fun_scope.
 
-#[deprecated(since="mathcomp 1.12.0", note="Use iterD instead.")]
+(* TODO: restore when Coq 8.10 is no longer supported                *)
+(* #[deprecated(since="mathcomp 1.13.0", note="Use iterD instead.")] *)
 Notation iter_add := iterD (only parsing).
 
 Notation maxn_mulr := (deprecate maxn_mulr maxnMr) (only parsing).
-- 
cgit v1.2.3