diff options
Diffstat (limited to 'backend/CMtypecheck.ml')
-rw-r--r-- | backend/CMtypecheck.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/CMtypecheck.ml b/backend/CMtypecheck.ml index d0bccca0..5e46d769 100644 --- a/backend/CMtypecheck.ml +++ b/backend/CMtypecheck.ml @@ -168,7 +168,6 @@ let type_chunk = function | Mint64 -> tlong | Mfloat32 -> tfloat | Mfloat64 -> tfloat - | Mfloat64al32 -> tfloat let name_of_chunk = PrintAST.name_of_chunk |