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.
---
 interp/constrexpr.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'interp/constrexpr.ml')

diff --git a/interp/constrexpr.ml b/interp/constrexpr.ml
index f3d0888fee..fa19eb8ec4 100644
--- a/interp/constrexpr.ml
+++ b/interp/constrexpr.ml
@@ -54,10 +54,10 @@ type proj_flag = int option (** [Some n] = proj of the n-th visible argument *)
     multiple leading zeros, and -0 = +0 *)
 
 type sign = SPlus | SMinus
-type raw_natural_number = string
+type raw_numeral = string
 
 type prim_token =
-  | Numeral of sign * raw_natural_number
+  | Numeral of sign * raw_numeral
   | String of string
 
 type instance_expr = Glob_term.glob_level list
-- 
cgit v1.2.3