From ad72ffe9c2d7839cfe85926264565d59daf87a3c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 19 Jul 2021 13:24:46 +0200 Subject: disable printing debug info --- scheduling/InstructionScheduler.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scheduling/InstructionScheduler.ml') diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index 0eadd5a4..5bd969ca 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -624,7 +624,7 @@ let reg_pres_scheduler (problem : problem) : solution option = (********************************************************************) let reg_pres_scheduler_bis (problem : problem) : solution option = - Printf.printf "\nNEW\n\n"; + (* Printf.printf "\nNEW\n\n"; *) let nr_instructions = get_nr_instructions problem in let successors = get_successors problem and predecessors = get_predecessors problem -- cgit