Browse Source

correctly check interface relations in Type.is_parent (fixed issue #1225)

Simon Krajewski 13 years ago
parent
commit
01b9454fdf
1 changed files with 1 additions and 1 deletions
  1. 1 1
      type.ml

+ 1 - 1
type.ml

@@ -460,7 +460,7 @@ let s_kind = function
 		| MethMacro -> "macro method"
 		| MethMacro -> "macro method"
 
 
 let rec is_parent csup c =
 let rec is_parent csup c =
-	if c == csup || List.exists (fun (i,_) -> i == csup) c.cl_implements then
+	if c == csup || List.exists (fun (i,_) -> is_parent csup i) c.cl_implements then
 		true
 		true
 	else match c.cl_super with
 	else match c.cl_super with
 		| None -> false
 		| None -> false