diff options
Diffstat (limited to 'scheduling')
| -rw-r--r-- | scheduling/InstructionScheduler.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index d0a18e69..4c9bde64 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -350,7 +350,6 @@ let _ = fun x -> priority_list_scheduler INSTRUCTION_ORDER x;; (* A scheduler sensitive to register pressure *) let reg_pres_scheduler (problem : problem) : solution option = (* DebugPrint.debug_flag := true; *) - let nr_instructions = get_nr_instructions problem in if !Clflags.option_debug_compcert > 6 then |