From 78fbb0e6f4c2065460a0ddb7e2e3ec94da21169f Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 31 May 2021 23:51:31 +0200
Subject: Dupmap bugfix and some advance in Livegen

---
 scheduling/RTLtoBTLaux.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scheduling/RTLtoBTLaux.ml')

diff --git a/scheduling/RTLtoBTLaux.ml b/scheduling/RTLtoBTLaux.ml
index e709d846..3de82d96 100644
--- a/scheduling/RTLtoBTLaux.ml
+++ b/scheduling/RTLtoBTLaux.ml
@@ -101,8 +101,8 @@ let rtl2btl (f : RTL.coq_function) =
   let btl = translate_function code entry join_points liveness in
   let dm = PTree.map (fun n i -> n) btl in
   (* TODO gourdinl move elsewhere *)
-  debug "Entry %d\n" (p2i entry);
   (*debug_flag := true;*)
+  debug "Entry %d\n" (p2i entry);
   debug "RTL Code: ";
   print_code code;
   debug "BTL Code:\n";
-- 
cgit