From 8568214f1b7950fe9c5d95c04e851c00f49751ce Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 16 Apr 2003 22:23:58 +0000
Subject: simplification: fst (list_chop n l) = firstn n l et snd (list_chop n
 l) = list_skipn n l

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

(limited to 'interp')

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index d07934f7dd..75f8e7abc4 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -182,7 +182,7 @@ let rec skip_coercion dest_ref (f,args as app) =
 	       | Some n ->
 		   if n >= List.length args then app
 		   else (* We skip a coercion *)
-		     let _,fargs = list_chop n args in
+		     let fargs = list_skipn n args in
 	       	     skip_coercion dest_ref (List.hd fargs,List.tl fargs)
 	       | None -> app)
 	| None -> app
-- 
cgit v1.2.3