diff options
Diffstat (limited to 'exportclight/ExportClight.ml')
| -rw-r--r-- | exportclight/ExportClight.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml index 8c83fab..fa56a01 100644 --- a/exportclight/ExportClight.ml +++ b/exportclight/ExportClight.ml @@ -217,7 +217,6 @@ let name_of_chunk = function | Mint64 -> "Mint64" | Mfloat32 -> "Mfloat32" | Mfloat64 -> "Mfloat64" - | Mfloat64al32 -> "Mfloat64al32" let signatur p sg = fprintf p "@[<hov 2>(mksignature@ %a@ %a)@]" (print_list asttype) sg.sig_args (print_option asttype) sg.sig_res |