From da72fafac3b5b4b21330cd097f5728cbc127aea4 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sat, 12 Sep 2020 09:15:06 +0200
Subject: Renaming Numeral into Number

---
 printing/ppconstr.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'printing')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 8da1d636f0..d762959ede 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -77,8 +77,8 @@ let tag_var = tag Tag.variable
     | LevelSome -> true
 
   let prec_of_prim_token = function
-    | Numeral (NumTok.SPlus,_) -> lposint
-    | Numeral (NumTok.SMinus,_) -> lnegint
+    | Number (NumTok.SPlus,_) -> lposint
+    | Number (NumTok.SMinus,_) -> lnegint
     | String _ -> latom
 
   let print_hunks n pr pr_patt pr_binders (terms, termlists, binders, binderlists) unps =
@@ -222,7 +222,7 @@ let tag_var = tag Tag.variable
     | t ->  str " :" ++ pr_sep_com (fun()->brk(1,4)) (pr ltop) t
 
   let pr_prim_token = function
-    | Numeral n -> NumTok.Signed.print n
+    | Number n -> NumTok.Signed.print n
     | String s -> qs s
 
   let pr_evar pr id l =
-- 
cgit v1.2.3