From 12c4460c3518e643977ac9ca3e872d941abf5833 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 13 Mar 2008 23:23:17 +0000
Subject: fix the 'decreasing on Xth' message

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

(limited to 'toplevel/command.ml')

diff --git a/toplevel/command.ml b/toplevel/command.ml
index 210a79b08..327fe904e 100644
--- a/toplevel/command.ml
+++ b/toplevel/command.ml
@@ -656,7 +656,7 @@ let pr_rank = function
   | 0 -> str "1st"
   | 1 -> str "2nd"
   | 2 -> str "3rd"
-  | n -> str ((string_of_int n)^"th")
+  | n -> str ((string_of_int (n+1))^"th")
 
 let recursive_message indexes = function
   | [] -> anomaly "no recursive definition"
-- 
cgit v1.2.3