From e960cd8dac76829f3a48167e70a23c65d8dd797f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 16 Apr 2010 14:13:00 +0000
Subject: Util: remove list_split_at which is a clone of list_chop

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

(limited to 'tactics')

diff --git a/tactics/class_tactics.ml4 b/tactics/class_tactics.ml4
index 5275d04c7c..4c58edf595 100644
--- a/tactics/class_tactics.ml4
+++ b/tactics/class_tactics.ml4
@@ -452,7 +452,7 @@ let then_list (second : atac) (sk : (auto_result, 'a) sk) : (auto_result, 'a) sk
 	  let goals' = List.concat (List.map (fun (gls,v) -> gls) res) in
 	  let v' s' pfs' : proof_tree =
 	    let (newpfs, rest) = List.fold_left (fun (newpfs,pfs') (gls,v) ->
-	      let before, after = list_split_at (List.length gls) pfs' in
+	      let before, after = list_chop (List.length gls) pfs' in
 		(v s' before :: newpfs, after))
 	      ([], pfs') res
 	    in assert(rest = []); v s' (List.rev newpfs)
-- 
cgit v1.2.3