diff -r b948c4f92b88 -r c882ba741244 NEWS
--- a/NEWS	Sun Sep 04 23:04:34 2016 +0200
+++ b/NEWS	Mon Sep 05 10:48:06 2016 +0200
@@ -305,6 +305,9 @@
 has been removed for output. It is retained for input only, until it is
 eliminated altogether.
 
+* metis: The problem encoding has changed very slightly. This might
+break existing proofs. INCOMPATIBILITY.
+
 * Sledgehammer:
   - The MaSh relevance filter has been sped up.
   - Produce syntactically correct Vampire 4.0 problem files.