src/HOL/Tools/ATP_Manager/SystemOnTPTP

--- a/src/HOL/Tools/ATP_Manager/SystemOnTPTP	Thu Apr 22 13:50:58 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/SystemOnTPTP	Thu Apr 22 14:47:52 2010 +0200
@@ -123,7 +123,7 @@
   $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";