diff options
| author | Kathy Gray | 2014-09-11 14:52:49 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-09-11 14:52:49 +0100 |
| commit | 9ba914479d792b673a90502fb55b0fa8a68202c7 (patch) | |
| tree | c062540a3654ca905e121efc4be94848ca88ebf7 /src/pretty_print.ml | |
| parent | ce090e965026d58266a9b263be4d3b743f6fa2f3 (diff) | |
Adding support for extracting the information Christopher needs about an instruction
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" |