src/HOL/Tools/ATP_Manager/SystemOnTPTP

   # insert newlines after ').'
   $extract =~ s/\s//g;
   $extract =~ s/\)\.cnf/\)\.\ncnf/g;
 
   print "========== ~~/lib/scripts/SystemOnTPTP extracted proof: ==========\n";
-  # orientation for res_reconstruct.ML
+  # orientation for "sledgehammer_proof_reconstruct.ML"
   print "# SZS output start CNFRefutation.\n";
   print "$extract\n";
   print "# SZS output end CNFRefutation.\n";
   # can be useful for debugging; Isabelle ignores this
   print "============== original response from SystemOnTPTP: ==============\n";