From 5673d04d22334c2493efe5a2ff8108768e089be2 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Thu, 30 Sep 2021 15:35:21 +0200
Subject: fix issue #247 by using a BTL's ghostfield

---
 scheduling/PrintBTL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scheduling/PrintBTL.ml')

diff --git a/scheduling/PrintBTL.ml b/scheduling/PrintBTL.ml
index 89254301..64e83651 100644
--- a/scheduling/PrintBTL.ml
+++ b/scheduling/PrintBTL.ml
@@ -66,7 +66,7 @@ let rec print_iblock pp is_rec pref ib =
       fprintf pp "%d: Bcond: (%a) (prediction: %s)\n" iinfo.inumb
         (PrintOp.print_condition reg)
         (cond, args)
-        (match iinfo.pcond with
+        (match iinfo.opt_info with
         | None -> "none"
         | Some true -> "branch"
         | Some false -> "fallthrough");
-- 
cgit