diff options
| author | Pierre Roux | 2018-10-20 11:19:28 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-04-02 00:02:12 +0200 |
| commit | a95aacce6cc32726b494d4cc694da49eae86cf96 (patch) | |
| tree | 07caf6e22fd6ae991786cec51bf304ecd011bc02 /coqpp/coqpp_main.ml | |
| parent | 1c8fd0f7134bcc295e31613c981ef4ef2c21af35 (diff) | |
Rename the INT token to NUMERAL
In anticipation of future uses of this token for non integer numerals.
Diffstat (limited to 'coqpp/coqpp_main.ml')
| -rw-r--r-- | coqpp/coqpp_main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coqpp/coqpp_main.ml b/coqpp/coqpp_main.ml index baa6c2d64e..fce4db1869 100644 --- a/coqpp/coqpp_main.ml +++ b/coqpp/coqpp_main.ml @@ -225,7 +225,7 @@ function | "IDENT", s -> fprintf fmt "Tok.PIDENT (%a)" print_pat s | "PATTERNIDENT", s -> fprintf fmt "Tok.PPATTERNIDENT (%a)" print_pat s | "FIELD", s -> fprintf fmt "Tok.PFIELD (%a)" print_pat s -| "INT", s -> fprintf fmt "Tok.PINT (%a)" print_pat s +| "NUMERAL", s -> fprintf fmt "Tok.PNUMERAL (%a)" print_pat s | "STRING", s -> fprintf fmt "Tok.PSTRING (%a)" print_pat s | "LEFTQMARK", None -> fprintf fmt "Tok.PLEFTQMARK" | "BULLET", s -> fprintf fmt "Tok.PBULLET (%a)" print_pat s |