Filename.basename !problem_file);
flush stdout;
List.iter (fun x ->
+ let (cl,_,_) = Terms.get_from_bag x bag in
print_endline (pp ~margin:max_int
- (fst(Terms.get_from_bag x bag)))) l;
+ cl)) l;
print_endline ("% SZS output end CNFRefutation for " ^
Filename.basename !problem_file)
;;