From 4dc3d04d0812005f221e88744c587de8ef0f38ee Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sat, 20 Oct 2018 15:10:54 +0200
Subject: Rename raw_natural_number to raw_numeral

In anticipation of an extension from natural numbers to other numeral
constants.
---
 parsing/pcoq.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing')

diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index e361f0d00f..b733ff46d4 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -157,7 +157,7 @@ module Prim :
     val pattern_identref : lident Entry.t
     val base_ident : Id.t Entry.t
     val natural : int Entry.t
-    val bigint : Constrexpr.raw_natural_number Entry.t
+    val bigint : Constrexpr.raw_numeral Entry.t
     val integer : int Entry.t
     val string : string Entry.t
     val lstring : lstring Entry.t
-- 
cgit v1.2.3