From 294df98be0c67f858355ff1ba08e9ac7a03c4ee2 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 2 Apr 2021 13:42:46 +0200 Subject: Cleaning --- backend/Duplicateaux.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'backend') diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 4d6e7f3a..db150521 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -339,7 +339,6 @@ let get_directions f code entrypoint = begin let loop_info = get_loop_info f is_loop_header bfs_order code in let directions = ref (PTree.map (fun n i -> None) code) in (* None <=> no predicted direction *) begin - debug_flag := true; (* ptree_printbool is_loop_header; *) (* debug "\n"; *) List.iter (fun n -> @@ -367,7 +366,7 @@ let get_directions f code entrypoint = begin end ) | _ -> () - ) bfs_order; debug_flag := false; + ) bfs_order; !directions end end -- cgit