From c097b5620dddd87046dd81ec046846b2d243da8a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:46:48 -0800 Subject: [PATCH] fixed release notes Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 845b11395..b88c74495 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -7,7 +7,7 @@ Version 4.3.2 - Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++. -- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to false. +- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to true. Thanks to Julien Henry for reporting this problem. Version 4.3.1