From 3ad8a9418dc5d39ef553033f5c8f581525a3aae3 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Tue, 3 Sep 2019 16:31:29 +0200
Subject: Fix a typo: ring_core_scope -> ring_scope

---
 mathcomp/algebra/ssrnum.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/ssrnum.v b/mathcomp/algebra/ssrnum.v
index 12fcecb..dd84f31 100644
--- a/mathcomp/algebra/ssrnum.v
+++ b/mathcomp/algebra/ssrnum.v
@@ -4398,7 +4398,7 @@ by move/(order_path_min argCle_trans)/allP->.
 Qed.
 
 Definition nthroot n x := let: RootCspec y _ _ := rootC_subproof n x in y.
-Notation "n .-root" := (nthroot n) (at level 2, format "n .-root") : ring_core_scope.
+Notation "n .-root" := (nthroot n) (at level 2, format "n .-root") : ring_scope.
 Notation "n .-root" := (nthroot n) (only parsing) : ring_scope.
 Notation sqrtC := 2.-root.
 
-- 
cgit v1.2.3