From b505fe13cdfaa667de647eb59e7003a122b72bcf Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 19 Oct 2012 18:38:34 -0700
Subject: [PATCH] updated release notes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 RELEASE_NOTES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 3edb26818..733a5e461 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -3,6 +3,8 @@ RELEASE NOTES
 Version 4.2
 ===========
 
+- Fixed compilation problems with clang/llvm. Many thanks to Xi Wang for finding the problem, and suggesting the fix. 
+
 - Now, Z3 automatically adds arithmetic coercions: to_real and to_int.
   Option (set-option :int-real-coercions false) disables this feature.
   If SMTLIB2_COMPLIANT=true in the command line, then :int-real-coercions is also set to false.