From 50e00b615fac6db0b6e1e935c4832f94c98bf164 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 13 Nov 2012 09:16:51 -0800
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 6c652874e..e146be973 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -5,6 +5,8 @@ Version 4.3.1
 
 - Added support for compiling Z3 using clang++ on Linux and OSX
 
+- Added missing compilation option (-D _EXTERNAL_RELEASE) in release mode.
+
 Version 4.3.0
 =============