Merge pull request #116 from proux01/master-parsing-decimal

[coq] Adapt to coq/coq#8764
coq · Apr 5, 2019 · 72ab28c · 72ab28c
2 parents f1530a7 + a3d5bf6
commit 72ab28c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/g_ltac2.mlg b/src/g_ltac2.mlg
@@ -44,7 +44,7 @@ let lk_ident n strm = match stream_nth n strm with
 | _ -> None
 
 let lk_int n strm = match stream_nth n strm with
-| INT _ -> Some (n + 1)
+| NUMERAL { NumTok.int = _; frac = ""; exp = "" } -> Some (n + 1)
 | _ -> None
 
 let lk_ident_or_anti = lk_ident <+> (lk_kw "$" >> lk_ident)