From 1d7a261c61ef01810ce163a21efd3c1e3247d0fa Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 12 Sep 2013 12:31:57 +0000
Subject: Fix bug in CStack introduced by refactoring

Refactorings should be tested, right?

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16768 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/cStack.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cStack.ml')

diff --git a/lib/cStack.ml b/lib/cStack.ml
index e0a3733f66..4fab9c1733 100644
--- a/lib/cStack.ml
+++ b/lib/cStack.ml
@@ -26,7 +26,7 @@ let find_map f l =
 let seek f accu l =
   let rec aux accu = function
     | [] -> raise Not_found
-    | x :: xs -> match f accu x with Stop x -> x | Next i -> aux accu xs in
+    | x :: xs -> match f accu x with Stop x -> x | Next i -> aux i xs in
   aux accu !l
 let is_empty l = match !l with [] -> true | _ -> false
 let iter f l = List.iter f !l
-- 
cgit v1.2.3