From 0733db382f4f6a4c804d2f4addce8ed8ad7be819 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 29 Nov 2012 09:15:03 -0800 Subject: [PATCH] updated release notes Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index e6b63d62d..8fab69938 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -16,6 +16,8 @@ Version 4.3.2 - Fixed incorrect result returned by Z3_solver_get_num_scopes. (Thanks to Herman Venter). This bug was introduced in Z3 4.3.0 +- Java bindings. To enable them, we must use the option `--java` when executing the `mk_make.py` script. Example: `python scripts/mk_make.py --java + Version 4.3.1 =============