From f61d7d1139bd5f9e0efd34460e8daf68e454e46b Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Fri, 4 Sep 2020 15:06:00 +0200
Subject: [parsing] Simplify bigint

---
 doc/tools/docgram/common.edit_mlg | 5 +++--
 doc/tools/docgram/fullGrammar     | 4 ++--
 2 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/tools/docgram/common.edit_mlg b/doc/tools/docgram/common.edit_mlg
index a619089cdd..549ace5d13 100644
--- a/doc/tools/docgram/common.edit_mlg
+++ b/doc/tools/docgram/common.edit_mlg
@@ -780,8 +780,9 @@ numeral: [
 ]
 
 bigint: [
-| DELETE NUMBER
-| num
+| DELETE bignat
+| REPLACE test_minus_nat "-" bignat
+| WITH OPT "-" bignat
 ]
 
 first_letter: [
diff --git a/doc/tools/docgram/fullGrammar b/doc/tools/docgram/fullGrammar
index f82f196b36..73b721702e 100644
--- a/doc/tools/docgram/fullGrammar
+++ b/doc/tools/docgram/fullGrammar
@@ -440,8 +440,8 @@ natural: [
 ]
 
 bigint: [
-| NUMBER
-| test_minus_nat "-" NUMBER
+| bignat
+| test_minus_nat "-" bignat
 ]
 
 bignat: [
-- 
cgit v1.2.3