From b4d90fd1babe9a78dae9431aa466a197625bf3d6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 7 Feb 2006 22:09:32 +0000
Subject: Ajout plural

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8002 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml  | 2 ++
 lib/util.mli | 1 +
 2 files changed, 3 insertions(+)

diff --git a/lib/util.ml b/lib/util.ml
index 4f64b3a6e4..953c8187e2 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -99,6 +99,8 @@ let string_string_contains ~where ~what =
   with
       Not_found -> false
 
+let plural n s = if n>1 then s^"s" else s
+
 (* string parsing *)
 
 let parse_loadpath s =
diff --git a/lib/util.mli b/lib/util.mli
index 6fbe23c289..9497f9a4d2 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -68,6 +68,7 @@ val explode : string -> string list
 val implode : string list -> string
 val string_index_from : string -> int -> string -> int
 val string_string_contains : where:string -> what:string -> bool
+val plural : int -> string -> string
 
 val parse_loadpath : string -> string list
 
-- 
cgit v1.2.3