From 82ac0604888679bc2fbdeda9ac264d7cd10f7928 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 2 Jan 2016 16:52:33 +0100
Subject: Avoid warnings about loop indices.

---
 ide/document.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/document.ml')

diff --git a/ide/document.ml b/ide/document.ml
index 9823e7576..41d5a7564 100644
--- a/ide/document.ml
+++ b/ide/document.ml
@@ -154,7 +154,7 @@ let cut_at d id =
     if stateid_opt_equal state_id (Some id) then CSig.Stop (n, zone)
     else CSig.Cont (n + 1, data :: zone) in
   let n, zone = CList.fold_left_until aux (0, []) d.stack in
-  for i = 1 to n do ignore(pop d) done;
+  for _i = 1 to n do ignore(pop d) done;
   List.rev zone
 
 let find_id d f =
-- 
cgit v1.2.3