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
---
 plugins/extraction/table.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/extraction/table.ml')

diff --git a/plugins/extraction/table.ml b/plugins/extraction/table.ml
index 4322ac95fa..dd3b65b908 100644
--- a/plugins/extraction/table.ml
+++ b/plugins/extraction/table.ml
@@ -413,7 +413,7 @@ let msg_non_implicit r n id =
     | Anonymous -> ""
     | Name id -> "(" ^ string_of_id id ^ ") "
   in
-  "The " ^ (ordinal n) ^ " argument " ^ name ^ "of " ^ (string_of_global r)
+  "The " ^ (String.ordinal n) ^ " argument " ^ name ^ "of " ^ (string_of_global r)
 
 let error_non_implicit msg =
   err (str (msg ^ " still occurs after extraction.") ++
-- 
cgit v1.2.3