diff options
Diffstat (limited to 'backend/PrintLTL.ml')
| -rw-r--r-- | backend/PrintLTL.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/PrintLTL.ml b/backend/PrintLTL.ml index d8f2ac12..87e8a1fc 100644 --- a/backend/PrintLTL.ml +++ b/backend/PrintLTL.ml @@ -22,7 +22,7 @@ open PrintAST open PrintOp let mreg pp r = - match Machregsaux.name_of_register r with + match Machregsnames.name_of_register r with | Some s -> fprintf pp "%s" s | None -> fprintf pp "<unknown machreg>" @@ -133,10 +133,10 @@ let print_program pp (prog: LTL.program) = let destination : string option ref = ref None -let print_if prog = +let print_if passno prog = match !destination with | None -> () | Some f -> - let oc = open_out f in + let oc = open_out (f ^ "." ^ Z.to_string passno) in print_program oc prog; close_out oc |