From 6551f14196784e323688e682877229bc7f901659 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Wed, 9 Sep 2020 23:33:05 +0200
Subject: Rename Numeral Notation command to Number Notation

Keep Numeral Notation wit a deprecation warning.
---
 test-suite/output/ZSyntax.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/output/ZSyntax.v')

diff --git a/test-suite/output/ZSyntax.v b/test-suite/output/ZSyntax.v
index be9dc543d6..7b2bb00ce0 100644
--- a/test-suite/output/ZSyntax.v
+++ b/test-suite/output/ZSyntax.v
@@ -19,7 +19,7 @@ Check (0 + Z.of_nat 11)%Z.
 
 (* Check hexadecimal printing *)
 Definition to_num_int n := Numeral.IntHex (Z.to_hex_int n).
-Numeral Notation Z Z.of_num_int to_num_int : Z_scope.
+Number Notation Z Z.of_num_int to_num_int : Z_scope.
 Check 42%Z.
 Check (-42)%Z.
 Check 0%Z.
-- 
cgit v1.2.3