was retrieved instead of the father. Fixed.
match father with
None -> false
| Some father' ->
match father with
None -> false
| Some father' ->
- match Hashtbl.find ids_to_father_ids father' with
- None -> assert false
- | Some fatherid ->
- match Hashtbl.find ids_to_terms fatherid with
- C.Lambda _ -> true
- | _ -> false
+ match Hashtbl.find ids_to_terms father' with
+ C.Lambda _ -> true
+ | _ -> false
in
if not father_is_lambda then
add_inner_type fresh_id''
in
if not father_is_lambda then
add_inner_type fresh_id''