From 3fef5e1d45820a775a7c941851af6f0bf3f1537d Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Wed, 11 Mar 2020 17:00:48 +0100
Subject: Adding info field for branching in RTL, LTL, XTL and all associated
 passes

---
 backend/PrintRTL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/PrintRTL.ml')

diff --git a/backend/PrintRTL.ml b/backend/PrintRTL.ml
index c25773e5..5eab9901 100644
--- a/backend/PrintRTL.ml
+++ b/backend/PrintRTL.ml
@@ -75,7 +75,7 @@ let print_instruction pp (pc, i) =
         (name_of_external ef)
         (print_builtin_args reg) args;
       print_succ pp s (pc - 1)
-  | Icond(cond, args, s1, s2) ->
+  | Icond(cond, args, s1, s2, _) ->
       fprintf pp "if (%a) goto %d else goto %d\n"
         (PrintOp.print_condition reg) (cond, args)
         (P.to_int s1) (P.to_int s2)
-- 
cgit