diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 2115fa9f..a4581162 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -43,9 +43,9 @@ let lemnum default n = match n with | 32 -> "thirtytwo" | 35 -> "thirtyfive" | 39 -> "thirtynine" - | 40 -> "fourty" - | 47 -> "fourtyseven" - | 48 -> "fourtyeight" + | 40 -> "forty" + | 47 -> "fortyseven" + | 48 -> "fortyeight" | 55 -> "fiftyfive" | 56 -> "fiftysix" | 57 -> "fiftyseven" |