From 591b3c37c980a092f0d2abadd8bdf23de3a38bcb Mon Sep 17 00:00:00 2001
From: Cyprien Mangin
Date: Fri, 3 Jun 2016 08:07:30 +0200
Subject: Fix usage of Pervasives in goal selectors.

---
 ltac/g_ltac.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ltac')

diff --git a/ltac/g_ltac.ml4 b/ltac/g_ltac.ml4
index e4c3dca28d..b9ed42e412 100644
--- a/ltac/g_ltac.ml4
+++ b/ltac/g_ltac.ml4
@@ -343,7 +343,7 @@ let vernac_solve n info tcom b =
     if not status then Feedback.feedback Feedback.AddedAxiom
 
 let pr_range_selector (i, j) =
-  if i = j then int i
+  if Int.equal i j then int i
   else int i ++ str "-" ++ int j
 
 let pr_ltac_selector = function
-- 
cgit v1.2.3