# HG changeset patch
# User blanchet
# Date 1506100481 10800
# Node ID 4b10fa05423baa1ae48a570aa6f5257a2cf5f541
# Parent  fdab65297bd6fc32ee1e63a5e0229e20124e305e
document incompatibility

diff -r fdab65297bd6 -r 4b10fa05423b NEWS
--- a/NEWS	Fri Sep 22 13:46:11 2017 -0300
+++ b/NEWS	Fri Sep 22 14:14:41 2017 -0300
@@ -11,7 +11,7 @@
 
 * SMT module:
   - The 'smt_oracle' option is now necessary when using the 'smt' method
-    with a solver other than Z3.
+    with a solver other than Z3. INCOMPATIBILITY.
 
 
 New in Isabelle2017 (October 2017)