diff options
Diffstat (limited to 'backend/PrintCminor.ml')
-rw-r--r-- | backend/PrintCminor.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/PrintCminor.ml b/backend/PrintCminor.ml index 8612b73f..4fbc600f 100644 --- a/backend/PrintCminor.ml +++ b/backend/PrintCminor.ml @@ -168,6 +168,7 @@ let name_of_type = function | Tint -> "int" | Tfloat -> "float" | Tlong -> "long" + | Tsingle -> "single" let rec print_sig p = function | {sig_args = []; sig_res = None} -> fprintf p "void" |