From 1d436a18f2f72b57ea09a6d27709a36b63be863a Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 13 Nov 2012 22:38:00 +0000
Subject: Added a CString module.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15968 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/termops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/termops.ml b/pretyping/termops.ml
index 8369972284..333d3948dc 100644
--- a/pretyping/termops.ml
+++ b/pretyping/termops.ml
@@ -705,7 +705,7 @@ let replace_term = replace_term_gen eq_constr
 let error_invalid_occurrence l =
   let l = List.uniquize (List.sort Pervasives.compare l) in
   errorlabstrm ""
-    (str ("Invalid occurrence " ^ plural (List.length l) "number" ^": ") ++
+    (str ("Invalid occurrence " ^ String.plural (List.length l) "number" ^": ") ++
      prlist_with_sep spc int l ++ str ".")
 
 let pr_position (cl,pos) =
-- 
cgit v1.2.3