let l_c2 = skip_appl (purge_lambdas term) in
let l_c2_b,l_c2_a =
try
- HExtlib.split_nth "CCG 1" (c2_pis - sat2 - 1) l_c2
+ HExtlib.split_nth (c2_pis - sat2 - 1) l_c2
with
Failure _ -> assert false in
let l_c1,l_c2_a =
*)
let close_coercion_graph src tgt uri saturations baseuri =
(* check if the coercion already exists *)
- let coercions = CoercDb.to_list () in
+ let coercions = CoercDb.to_list (CoercDb.dump ()) in
let todo_list = get_closure_coercions src tgt (uri,saturations,0) coercions in
debug_print (lazy("composed " ^ string_of_int (List.length todo_list)));
let todo_list = filter_duplicates todo_list coercions in