From e539db48ab064dc0c10c5ebeb043372c840497c2 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 9 Mar 2018 15:23:17 +0100
Subject: Numeral Notation: minor text improvements suggested by J. Gross

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index 0293a92fbb..e947fd891b 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -1376,7 +1376,7 @@ Abbreviations
 Numeral notations
 -----------------
 
-Starting with version 8.9, the following command allows to customize
+Starting with version 8.9, the following command allows the user to customize
 the way numeral literals are parsed and printed:
 
 .. cmd:: Numeral Notation @ty @pa @pr : @scope.
-- 
cgit v1.2.3