From 1a157442dff4bfa127af467c49280e79889acde7 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sat, 26 Dec 2015 10:07:19 +0100
Subject: Do not compose List.length with List.filter.

---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 8a86d30220..d4cb797759 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1386,7 +1386,7 @@ let internalize globalenv env allow_patvar lvar c =
 	       let (env',rbefore) =
 		 List.fold_left intern_local_binder (env,[]) before in
 	       let ro = f (intern env') in
-	       let n' = Option.map (fun _ -> List.length (List.filter (fun (_,(_,_,b,_)) -> (* remove let-ins *) b = None) rbefore)) n in
+	       let n' = Option.map (fun _ -> List.count (fun (_,(_,_,b,_)) -> (* remove let-ins *) b = None) rbefore) n in
 		 n', ro, List.fold_left intern_local_binder (env',rbefore) after
 	     in
 	     let n, ro, (env',rbl) =
-- 
cgit v1.2.3