diff options
Diffstat (limited to 'scheduling/RTLpathScheduleraux.ml')
-rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml index c2183937..6dc00227 100644 --- a/scheduling/RTLpathScheduleraux.ml +++ b/scheduling/RTLpathScheduleraux.ml @@ -298,11 +298,11 @@ let rec do_schedule code pm = function let new_code = apply_schedule code' sb schedule in begin (*debug_flag := true;*) + if code != code_exp then ( debug "Old Code: "; print_code code; - debug "Exp Code: "; print_code code_exp; - (*debug_flag := false; *) - debug "\nSchedule to apply: "; print_arrayp schedule; - debug "\nNew Code: "; print_code new_code; + debug "Exp Code: "; print_code code_exp); + (*debug "\nSchedule to apply: "; print_arrayp schedule;*) + (*debug "\nNew Code: "; print_code new_code;*) debug "\n"; do_schedule new_code pm lsb end |