From d5eb564a1ae46409e90a2c6bd6af5b77aa37773e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 9 Sep 2020 20:24:46 +0200
Subject: Adding a wit_natural standard argument.

---
 parsing/pcoq.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'parsing')

diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml
index b9853029a0..0d74ad928c 100644
--- a/parsing/pcoq.ml
+++ b/parsing/pcoq.ml
@@ -500,6 +500,7 @@ let with_grammar_rule_protection f x =
 
 let () =
   let open Stdarg in
+  Grammar.register0 wit_nat (Prim.natural);
   Grammar.register0 wit_int (Prim.integer);
   Grammar.register0 wit_string (Prim.string);
   Grammar.register0 wit_pre_ident (Prim.preident);
-- 
cgit v1.2.3