diff options
Diffstat (limited to 'backend/PrintRTL.ml')
-rw-r--r-- | backend/PrintRTL.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/backend/PrintRTL.ml b/backend/PrintRTL.ml index 4fc8f56a..4cd38717 100644 --- a/backend/PrintRTL.ml +++ b/backend/PrintRTL.ml @@ -103,13 +103,13 @@ let print_function pp id f = List.iter (print_instruction pp) instrs; fprintf pp "@;<0 -2>}@]@." -let print_fundef pp (id, fd) = - match fd with - | Internal f -> print_function pp id f - | External _ -> () +let print_globdef pp (id, gd) = + match gd with + | Gfun(Internal f) -> print_function pp id f + | _ -> () let print_program pp (prog: RTL.program) = - List.iter (print_fundef pp) prog.prog_funct + List.iter (print_globdef pp) prog.prog_defs let print_if optdest prog = match !optdest with |