+ let passive_t,wset,_ = passives in
+ let _ = debug
+ (lazy
+ ("Passive set :" ^ (String.concat ";\n"
+ (List.map (fun _,cl -> Pp.pp_unit_clause cl)
+ (WeightPassiveSet.elements wset))))) in
+ let wset = IDX.elems passive_t in
+ let _ = debug
+ (lazy
+ ("Passive table :" ^(String.concat ";\n"
+ (List.map (fun _,cl -> Pp.pp_unit_clause cl)
+ (IDX.ClauseSet.elements wset))))) in