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 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc/tools/docgram/common.edit_mlg')

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: [
-- 
cgit v1.2.3