From bff4e6ff0b782619b6fcc18751fa575cbb11de68 Mon Sep 17 00:00:00 2001
From: "nicolas.nardino" <nicolas.nardino@ens-lyon.fr>
Date: Mon, 14 Jun 2021 17:39:58 +0200
Subject: was very wrong, fixing

---
 scheduling/InstructionScheduler.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'scheduling/InstructionScheduler.mli')

diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli
index e7f9e7db..9b6f7a3c 100644
--- a/scheduling/InstructionScheduler.mli
+++ b/scheduling/InstructionScheduler.mli
@@ -29,9 +29,9 @@ type problem = {
     typing : RTLtyping.regenv;
     (** Register type map. *)
     
-    pressure_deltas : int array array;
-    (** At index (i, j), the pressure delta for instruction i, for
-    register class j. *)
+    reference_counting : ((Registers.reg, int * int) Hashtbl.t
+                       * (Registers.reg list array)) option;
+    (** See RTLpathScheduleraux.reference_counting. *)
     
     instruction_usages: int array array;
     (** At index {i i} the vector of resources used by instruction number {i i}. It must be the same length as [resource_bounds] *)
-- 
cgit