diff options
Diffstat (limited to 'backend/PrintRTL.ml')
| -rw-r--r-- | backend/PrintRTL.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |