diff options
Diffstat (limited to 'toplevel/command.ml')
| -rw-r--r-- | toplevel/command.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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" |