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/BTLtoRTLaux.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scheduling/BTLtoRTLaux.ml')

diff --git a/scheduling/BTLtoRTLaux.ml b/scheduling/BTLtoRTLaux.ml
index ddec991d..47262b3e 100644
--- a/scheduling/BTLtoRTLaux.ml
+++ b/scheduling/BTLtoRTLaux.ml
@@ -22,7 +22,7 @@ let translate_function btl entry =
       match ib with
       | Bcond (cond, lr, BF (Bgoto s1, _), Bnop None, iinfo) ->
           Some
-            ( Icond (cond, lr, s1, get_ib_num (get_some k), iinfo.pcond),
+            ( Icond (cond, lr, s1, get_ib_num (get_some k), iinfo.opt_info),
               get_inumb iinfo )
       | Bcond (_, _, _, _, _) ->
           failwith "translate_function: unsupported Bcond"
-- 
cgit