From 0fdc5394c1f0821ae343beb8714d838c89aa4fd0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 12 Oct 2018 14:08:21 +0000
Subject: [Numeral notations] Lazy resolution of decimal types

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index c707da1353..ae66791b0c 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -1496,12 +1496,13 @@ Numeral notations
      function returns :g:`None`, or if the interpretation is registered
      for only non-negative integers, and the given numeral is negative.
 
-   .. exn:: @ident should go from Decimal.int to @type or (option @type). Instead of Decimal.int, the types Decimal.uint or Z could be used{? (require BinNums first)}.
+
+   .. exn:: @ident should go from Decimal.int to @type or (option @type). Instead of Decimal.int, the types Decimal.uint or Z could be used (you may need to require BinNums or Decimal first).
 
      The parsing function given to the :cmd:`Numeral Notation`
      vernacular is not of the right type.
 
-   .. exn:: @ident should go from @type to Decimal.int or (option Decimal.int).  Instead of Decimal.int, the types Decimal.uint or Z could be used{? (require BinNums first)}.
+   .. exn:: @ident should go from @type to Decimal.int or (option Decimal.int).  Instead of Decimal.int, the types Decimal.uint or Z could be used (you may need to require BinNums or Decimal first).
 
      The printing function given to the :cmd:`Numeral Notation`
      vernacular is not of the right type.
-- 
cgit v1.2.3