mention yices version change

LeventErkok · Aug 27, 2015 · d423bb9 · d423bb9
1 parent ccff934
commit d423bb9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -44,8 +44,8 @@
 
   * Backend solver related changes:
 
-       * Yices: Upgraded to work with Yices release 2.3.1. Note that earlier versions of Yices
-         is *not* supported.
+       * Yices: Upgraded to work with Yices release 2.4.1. Note that earlier versions of Yices
+         are *not* supported.
 
        * Boolector: Upgraded to work with new Boolector release 2.0.7. Note that earlier versions
          of Boolector is *not* supported.