From 2bc76bf063da72d1db38c3c0d29c747b0fe23f78 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 22 Feb 2017 18:32:23 +0100
Subject: G_prim: the bigint entry keeps numbers in raw strings

---
 parsing/pcoq.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing/pcoq.mli')

diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index 959e8ddf5..9fb3daaba 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -199,7 +199,7 @@ module Prim :
     val pattern_identref : Id.t located Gram.entry
     val base_ident : Id.t Gram.entry
     val natural : int Gram.entry
-    val bigint : Bigint.bigint Gram.entry
+    val bigint : Constrexpr.raw_natural_number Gram.entry
     val integer : int Gram.entry
     val string : string Gram.entry
     val lstring : string located Gram.entry
-- 
cgit v1.2.3