diff options
Diffstat (limited to 'scheduling/PrintBTL.ml')
-rw-r--r-- | scheduling/PrintBTL.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scheduling/PrintBTL.ml b/scheduling/PrintBTL.ml index 8f61380e..781dcaf3 100644 --- a/scheduling/PrintBTL.ml +++ b/scheduling/PrintBTL.ml @@ -83,6 +83,9 @@ let rec print_iblock pp is_rec pref ib = print_iblock pp is_rec pref ib2) else fprintf pp "Bseq...\n" +let print_btl_inst pp ib = + print_iblock pp false " " ib + let print_btl_code pp btl is_rec = fprintf pp "\n"; List.iter (fun (n,ibf) -> |