More parentheses, fixes FStarLang#68

tahina-pro · Nov 20, 2017 · ba57327 · ba57327
1 parent 4a723c6
commit ba57327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/PrintC.ml b/src/PrintC.ml
@@ -116,7 +116,7 @@ and defeat_Wparentheses op e prec =
   if not !Options.parentheses then
     prec
   else match op, e with
-  | (BShiftL | BShiftR | BXor | BOr | BAnd), Op2 ((Add | Sub | BOr | BXor), _, _) ->
+  | (BShiftL | BShiftR | BXor | BOr | BAnd), Op2 ((Add | Sub | BOr | BXor | BAnd), _, _) ->
       0
   | _ ->
       prec