NEWS

--- a/NEWS	Wed Nov 17 08:14:56 2010 +0100
+++ b/NEWS	Wed Nov 17 09:22:23 2010 +0100
@@ -355,6 +355,9 @@
     cvc3_options
     yices_options
 
+* Boogie output files (.b2i files) need to be declared in the
+theory header.
+
 * Removed [split_format ... and ... and ...] version of
 [split_format].  Potential INCOMPATIBILITY.