From dd56cc810971c407b2aecfffc82de7fc4332320a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 21 Feb 2015 13:29:58 +0100
Subject: Better English for #4070 implicit arguments message (thanks to Jason
 for his help).

---
 printing/prettyp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/printing/prettyp.ml b/printing/prettyp.ml
index d0f50ee27c..0e6c595e1a 100644
--- a/printing/prettyp.ml
+++ b/printing/prettyp.ml
@@ -109,7 +109,7 @@ let print_impargs_list prefix l =
 	 [(if ismt prefix then str "When" else prefix ++ str ", when") ++
 	   str " applied to " ++
 	   (if Int.equal n1 n2 then int_or_no n2 else
-	    if Int.equal n1 0 then str "less than or to " ++ int n2
+	    if Int.equal n1 0 then str "no more than " ++ int n2
 	    else int n1 ++ str " to " ++ int_or_no n2) ++
 	    str (String.plural n2 " argument") ++ str ":";
           v 0 (prlist_with_sep cut (fun x -> x)
-- 
cgit v1.2.3