From 19464b3992eadf7670acc7231896103ab54885e5 Mon Sep 17 00:00:00 2001
From: "nicolas.nardino" <nicolas.nardino@ens-lyon.fr>
Date: Tue, 15 Jun 2021 12:07:43 +0200
Subject: fixing

Still need to find what to do when pressure is high but there are no
instructions available that decrease it
---
 scheduling/InstructionScheduler.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scheduling/InstructionScheduler.mli')

diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli
index 9b6f7a3c..b5a5463b 100644
--- a/scheduling/InstructionScheduler.mli
+++ b/scheduling/InstructionScheduler.mli
@@ -30,7 +30,7 @@ type problem = {
     (** Register type map. *)
     
     reference_counting : ((Registers.reg, int * int) Hashtbl.t
-                       * (Registers.reg list array)) option;
+                       * ((Registers.reg * bool) list array)) option;
     (** See RTLpathScheduleraux.reference_counting. *)
     
     instruction_usages: int array array;
-- 
cgit