From af2208a2c7126d4d101fb07c40920e12c9ebbab3 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 18 May 2021 19:15:39 +0200
Subject: first oracle seems ok

---
 scheduling/PrintBTL.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'scheduling/PrintBTL.ml')

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) ->
-- 
cgit