From a65612651ee11b77a609db2a8325a53420c33027 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Tue, 3 Sep 2002 02:31:09 +0000
Subject: [PATCH] precedences de || et && dans unify_row_field

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 typing/ctype.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typing/ctype.ml b/typing/ctype.ml
index e92abd0ff..bcc4439e4 100644
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@@ -1656,7 +1656,7 @@ and unify_row_field env fixed1 fixed2 f1 f2 =
   | Reither(c1, tl1, m1, e1), Reither(c2, tl2, m2, e2) ->
       if e1 == e2 then () else
       let redo =
-        m1 || m2 &&
+        (m1 || m2) &&
         match tl1 @ tl2 with [] -> false
         | t1 :: tl ->
             if c1 || c2 then raise (Unify []);