diff options
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
-rw-r--r-- | scheduling/InstructionScheduler.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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; |