From 0d8a4ec0f7486f47b7cff4cda465e2bd10c163ac Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sun, 27 Jan 2019 16:01:31 +0100
Subject: Adapt to coq/coq#8764

---
 src/g_ltac2.mlg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/g_ltac2.mlg b/src/g_ltac2.mlg
index fcf5d59ec9..0071dbb088 100644
--- 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)
-- 
cgit v1.2.3