From e364e6c25459d37ef058accd414c5555a7b30bb6 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Sun, 23 May 2004 09:06:58 +0000
Subject: [PATCH] fix PR#2062

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

diff --git a/typing/ctype.ml b/typing/ctype.ml
index 9ff854cdb..72cce6522 100644
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@@ -1465,9 +1465,9 @@ and unify3 env t1 t1' t2 t2' =
         unify_row env row1 row2
     | (Tfield _, Tfield _) ->           (* Actually unused *)
         unify_fields env t1' t2'
-    | (Tfield(_,kind,_,rem), Tnil) | (Tnil, Tfield(_,kind,_,rem)) ->
+    | (Tfield(f,kind,_,rem), Tnil) | (Tnil, Tfield(f,kind,_,rem)) ->
         begin match field_kind_repr kind with
-          Fvar r -> r := Some Fabsent
+          Fvar r when f <> dummy_method -> set_kind r Fabsent
         | _      -> raise (Unify [])
         end
     | (Tnil, Tnil) ->