--- a/NEWS Mon Sep 23 14:53:43 2013 +0200 +++ b/NEWS Mon Sep 23 14:53:43 2013 +0200 @@ -389,6 +389,7 @@ INCOMPATIBILITY. * Nitpick: + - Added option "spy" - Reduce incidence of "too high arity" errors * Sledgehammer: