diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-19 13:24:46 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-19 13:24:46 +0200 |
commit | ad72ffe9c2d7839cfe85926264565d59daf87a3c (patch) | |
tree | f422f02a428751a4d0a376dd10fa8f98891267b6 /scheduling/InstructionScheduler.ml | |
parent | cb6103e684ff89a0493d6b2e3af2317df04fede3 (diff) | |
download | compcert-kvx-ad72ffe9c2d7839cfe85926264565d59daf87a3c.tar.gz compcert-kvx-ad72ffe9c2d7839cfe85926264565d59daf87a3c.zip |
disable printing debug info
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
-rw-r--r-- | scheduling/InstructionScheduler.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |