From 97d739835e98dcca038970a50e169a4e1127bd80 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 2 Aug 2019 16:50:22 +0200
Subject: [parsing] unify checks for contiguity of tokens in Ltac2 and G_prim

---
 user-contrib/Ltac2/g_ltac2.mlg | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'user-contrib/Ltac2')

diff --git a/user-contrib/Ltac2/g_ltac2.mlg b/user-contrib/Ltac2/g_ltac2.mlg
index 8e5aae4900..adc1606016 100644
--- a/user-contrib/Ltac2/g_ltac2.mlg
+++ b/user-contrib/Ltac2/g_ltac2.mlg
@@ -82,9 +82,7 @@ let test_lpar_id_rpar =
 
 let check_no_space tok m strm =
   let n = Stream.count strm in
-  let (_, ep) = Loc.unloc (tok n) in
-  let (bp, _) = Loc.unloc (tok (n + 1)) in
-  if Int.equal ep bp then Some m else None
+  if G_prim.contiguous tok n (n+m-1) then Some m else None
 
 let test_ampersand_ident =
   entry_of_lookahead "test_ampersand_ident" begin
-- 
cgit v1.2.3