diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/pcoq.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |