From 2e0ac9f60d15de2bfd887cf823ec23d77868b297 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 23 Jan 2020 15:09:36 +0100
Subject: Printing traces right before duplicating

---
 backend/Duplicateaux.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index 67fbf3ad..167a28eb 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -537,8 +537,5 @@ let duplicate_aux f =
   let code = fn_code f in
   let traces = select_traces (to_ttl_code code entrypoint) entrypoint in
   let preds = get_predecessors_rtl code in
-  let (new_code, pTreeId) = superblockify_traces code preds traces in
-  begin
-    print_traces traces;
-    ((new_code, (fn_entrypoint f)), pTreeId)
-  end
+  let (new_code, pTreeId) = (print_traces traces; superblockify_traces code preds traces) in
+  ((new_code, (fn_entrypoint f)), pTreeId)
-- 
cgit