From 21500d332c8026d938ae804580f5675fc0d73bf2 Mon Sep 17 00:00:00 2001
From: Raphael Rieu-Helft <raphael.rieu-helft@lri.fr>
Date: Mon, 18 Mar 2019 16:58:25 +0100
Subject: [PATCH] Fix another erroneous precedence
---
src/mlw/ocaml_printer.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/mlw/ocaml_printer.ml b/src/mlw/ocaml_printer.ml
index e15901dad5..55cfe472e8 100644
--- a/src/mlw/ocaml_printer.ml
+++ b/src/mlw/ocaml_printer.ml
@@ -545,7 +545,7 @@ module Print = struct
fprintf fmt
(protect_on (opr && prec < 16)
"@[<hv>@[<hv 2>if@ %a@]@ then %a@]")
- (print_expr ~opr:false info 15) e1 (print_expr ~be:true info 18) e2
+ (print_expr ~opr:false info 15) e1 (print_expr ~be:true info 15) e2
| Eif (e1, e2, e3) when is_false e2 && is_true e3 ->
fprintf fmt (protect_on (prec < 4) "not %a")
(print_expr info 3) e1
--
GitLab