diff options
Diffstat (limited to 'common/PrintAST.ml')
-rw-r--r-- | common/PrintAST.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/common/PrintAST.ml b/common/PrintAST.ml index a3f6bcf..329c0c7 100644 --- a/common/PrintAST.ml +++ b/common/PrintAST.ml @@ -31,7 +31,6 @@ let name_of_chunk = function | Mint64 -> "int64" | Mfloat32 -> "float32" | Mfloat64 -> "float64" - | Mfloat64al32 -> "float64al32" let name_of_external = function | EF_external(name, sg) -> sprintf "extern %S" (extern_atom name) |