NEWS

--- a/NEWS	Thu Aug 27 19:55:43 2015 +0200
+++ b/NEWS	Thu Aug 27 20:10:40 2015 +0200
@@ -192,7 +192,6 @@
   - Proof reconstruction has been improved, to minimize the incidence of
     cases where Sledgehammer gives a proof that does not work.
   - Auto Sledgehammer now minimizes and preplays the results.
-  - The URL for remote provers on SystemOnTPTP has been updated.
 
 * Nitpick:
   - Removed "check_potential" and "check_genuine" options.