From 0854c623347cd353cf8e1ba643147a8cecb60bb7 Mon Sep 17 00:00:00 2001
From: Iago Abal <5313615+IagoAbal@users.noreply.github.com>
Date: Sat, 18 Jul 2015 23:17:33 +0200
Subject: [PATCH] Update changelog

---
 CHANGES.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index d334a1f..e2cb245 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -6,10 +6,11 @@
 Small maintenance release that however introduces one API breaking change.
 
 * Added bindings for the _Set_ API. (Nadia Polikarpova)
-* Replace the now deprecated Z3_eval with Z3_model_eval.
+* Fix #4: Replace the now deprecated Z3_eval with Z3_model_eval.
+* Fix #5: Check error codes right after an API call. (David Castro)
 
-This latter change  breaks the API by changing the type of ```modelEval```
-which now takes an extra ```Bool``` parameter to force model completion.
+To fix #4 we had to change the type of ```modelEval```, which now takes
+an extra ```Bool``` parameter (to force model completion).
 
 ## 4.0.0