in
List.map
(fun (bag,i,l) ->
- List.iter (fun x ->
+ (* List.iter (fun x ->
print_endline (Pp.pp_unit_clause ~margin:max_int
- (fst(Terms.M.find x bag)))) l;
+ (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"