diff options
Diffstat (limited to 'backend/PrintCminor.ml')
-rw-r--r-- | backend/PrintCminor.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/backend/PrintCminor.ml b/backend/PrintCminor.ml index 8c255a65..b77c5645 100644 --- a/backend/PrintCminor.ml +++ b/backend/PrintCminor.ml @@ -193,9 +193,7 @@ let print_sig p sg = List.iter (fun t -> fprintf p "%s ->@ " (name_of_type t)) sg.sig_args; - match sg.sig_res with - | None -> fprintf p "void" - | Some ty -> fprintf p "%s" (name_of_type ty) + fprintf p "%s" (name_of_rettype sg.sig_res) let rec just_skips s = match s with |