From 5754edd0bfc8c38cee2e721ef8d2130c97664f05 Mon Sep 17 00:00:00 2001
From: glondu
Date: Tue, 28 Sep 2010 15:32:14 +0000
Subject: Fix function applications without labels (OCaml warning 6)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13469 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 18f1d13ea6..6022e10070 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -208,7 +208,7 @@ let same c d = try check_same_type c d; true with _ -> false
 let has_curly_brackets ntn =
   String.length ntn >= 6 & (String.sub ntn 0 6 = "{ _ } " or
     String.sub ntn (String.length ntn - 6) 6 = " { _ }" or
-    string_string_contains ntn " { _ } ")
+    string_string_contains ~where:ntn ~what:" { _ } ")
 
 let rec wildcards ntn n =
   if n = String.length ntn then []
-- 
cgit v1.2.3