diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 9586b6a6..b38ec0c5 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -183,9 +183,9 @@ let output1 libpath out_arg filename defs (* alldoc_accum alldoc_inc_accum alldo Format.fprintf o "let thirtytwo : integer = integerFromNat 32\n"; Format.fprintf o "let thirtyfive : integer = integerFromNat 35\n"; Format.fprintf o "let thirtynine : integer = integerFromNat 39\n"; - Format.fprintf o "let fourty : integer = integerFromNat 40\n"; - Format.fprintf o "let fourtyseven : integer = integerFromNat 47\n"; - Format.fprintf o "let fourtyeight : integer = integerFromNat 48\n"; + Format.fprintf o "let forty : integer = integerFromNat 40\n"; + Format.fprintf o "let fortyseven : integer = integerFromNat 47\n"; + Format.fprintf o "let fortyeight : integer = integerFromNat 48\n"; Format.fprintf o "let fiftyfive : integer = integerFromNat 55\n"; Format.fprintf o "let fiftysix : integer = integerFromNat 56\n"; Format.fprintf o "let fiftyseven : integer = integerFromNat 57\n"; |