NEWS

--- a/NEWS	Thu Dec 01 13:34:13 2011 +0100
+++ b/NEWS	Thu Dec 01 13:34:14 2011 +0100
@@ -147,7 +147,7 @@
     affecting 'rat' and 'real'.
 
 * Sledgehammer:
-  - Added "lam_trans" option.
+  - Added "lam_trans" and "minimize" options.
   - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").
 
 * Metis: