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 = Terms.empty_bag, 0 in
let (bag,maxvar), passives =
HExtlib.list_mapi_acc (fun x _ a -> P.mk_passive a x) (bag,maxvar) table
in
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"