Adapt to coq/coq#8764

coq · Apr 4, 2019 · a3d5bf6 · a3d5bf6
1 parent f1530a7
commit a3d5bf6
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)