diff options
| author | Maxime Dénès | 2020-02-28 20:19:00 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-03-01 20:33:28 +0100 |
| commit | 7ebcbc1cecca87619aa4b01606021c29c5d1f0a2 (patch) | |
| tree | 082951992155940f3f6919568f5541e954aabfb8 /parsing/pcoq.ml | |
| parent | 38e57715c086183250dd6176f9eaad01bfcde4c5 (diff) | |
[parser] lk_int -> lk_nat
Diffstat (limited to 'parsing/pcoq.ml')
| -rw-r--r-- | parsing/pcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml index 4b42c59d54..d1a6e0eda2 100644 --- a/parsing/pcoq.ml +++ b/parsing/pcoq.ml @@ -165,7 +165,7 @@ struct | Tok.IDENT ident when not (List.mem_f String.equal ident idents) -> Some (n + 1) | _ -> None - let lk_int tok n strm = match stream_nth n strm with + let lk_nat tok n strm = match stream_nth n strm with | Tok.NUMERAL { NumTok.int = _; frac = ""; exp = "" } -> Some (n + 1) | _ -> None |