From 78c0afc1b292a196f33bce1e7e21ae83084f9b71 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Apr 2016 22:13:04 +0200
Subject: Revert "Not taking arguments given by name or position into account
 when"

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

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 9304247a2b..072af07798 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1723,7 +1723,7 @@ let internalize globalenv env allow_patvar lvar c =
     in aux 1 l subscopes eargs rargs
 
   and apply_impargs c env imp subscopes l loc = 
-    let imp = select_impargs_size (List.length (List.filter (fun (_,x) -> x == None) l)) imp in
+    let imp = select_impargs_size (List.length l) imp in
     let l = intern_impargs c env imp subscopes l in
       smart_gapp c loc l
 
-- 
cgit v1.2.3