From e49cd002cb1ce6e06fec0e735bc6353c59416a6a Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 26 Feb 2020 11:15:22 -0800
Subject: Convert Gallina Extensions to use prodn

---
 doc/tools/docgram/fullGrammar | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'doc/tools/docgram/fullGrammar')

diff --git a/doc/tools/docgram/fullGrammar b/doc/tools/docgram/fullGrammar
index 2fabf92b7f..241cf48cf1 100644
--- a/doc/tools/docgram/fullGrammar
+++ b/doc/tools/docgram/fullGrammar
@@ -430,17 +430,21 @@ lstring: [
 ]
 
 integer: [
-| NUMERAL
-| test_minus_nat "-" NUMERAL
+| bigint
 ]
 
 natural: [
-| NUMERAL
+| bignat
 | _natural
 ]
 
 bigint: [
 | NUMERAL
+| test_minus_nat "-" NUMERAL
+]
+
+bignat: [
+| NUMERAL
 ]
 
 bar_cbrace: [
@@ -2516,7 +2520,7 @@ field_mods: [
 
 numnotoption: [
 |
-| "(" "warning" "after" bigint ")"
-| "(" "abstract" "after" bigint ")"
+| "(" "warning" "after" bignat ")"
+| "(" "abstract" "after" bignat ")"
 ]
 
-- 
cgit v1.2.3