Clean-up debug

1 files changed, 2 insertions, 4 deletions

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index 98a638f3..3121f0fa 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -892,15 +892,14 @@ let is_some o = match o with Some _ -> true | None -> false
  * 3) Links the last instruction of body' into the first of body
  *)
 let unroll_inner_loop_body code revmap iloop =
-  debug_flag := true;
   debug "iloop = "; print_inner_loop iloop;
   let body = iloop.body in
   let limit = !Clflags.option_funrollbody in
   if count_ignore_nops code body > limit then begin
-    debug "Too many nodes in the loop body (%d > %d)" (List.length body) limit; debug_flag := false;
+    debug "Too many nodes in the loop body (%d > %d)" (List.length body) limit;
     (code, revmap)
   end else if not @@ is_some iloop.sb_final then begin
-    debug "The loop body does not form a superblock OR we have predicted that we do not loop"; debug_flag := false;
+    debug "The loop body does not form a superblock OR we have predicted that we do not loop";
     (code, revmap)
   end else
     let (code2, revmap2, dupbody, fwmap) = clone code revmap body in
@@ -910,7 +909,6 @@ let unroll_inner_loop_body code revmap iloop =
     begin
       code' := change_pointers !code' iloop.head head' [get_some @@ iloop.sb_final];
       code' := change_pointers !code' head' iloop.head finals'; 
-      debug_flag := false;
       (!code', revmap2)
     end