= NCicBlob.NCicBlob(C)
in
let module P = Paramod.Paramod(B) in
+ let module Pp = Pp.Pp(B) in
let bag, maxvar = Terms.M.empty, 0 in
let (bag,maxvar), passives =
HExtlib.list_mapi_acc (fun x _ a -> P.mk_passive a x) (bag,maxvar) table
in
List.map
(fun (bag,i,l) ->
+ List.iter (fun x ->
+ print_endline (Pp.pp_unit_clause ~margin:max_int
+ (fst(Terms.M.find x bag)))) l;
let stamp = Unix.gettimeofday () in
let proofterm = NCicProof.mk_proof bag i l in
prerr_endline (Printf.sprintf "Got proof term in %fs"