From 566e21af6792406715e79df5c61a3cc715b15c66 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Sun, 15 Nov 2009 18:59:07 +0000
Subject: Document Generalizable Variables, and change syntax to [Generalizable
 (All|No) Variables (ident+)?], also update type classes documentation to
 reflect the latest changes in instance decls. Fix a bug in
 [Util.list_split_when].

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

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 9f29d55bd0..5e2a071a93 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -810,7 +810,7 @@ let list_split_at index l =
 let list_split_when p =
   let rec split_when_loop x y =
     match y with
-      | []      -> ([],[])
+      | []      -> (List.rev x,[])
       | (a::l)  -> if (p a) then (List.rev x,y) else split_when_loop (a::x) l
   in
   split_when_loop []
-- 
cgit v1.2.3