From 4f0d5a5756ab144005f6a288e7ef36da18b90edd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 18 Dec 2012 07:27:20 -0800 Subject: [PATCH] Add thanks to Etienne Kneuss 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 5f2478dff..234ba03fb 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -30,7 +30,7 @@ Version 4.3.2 - Fixed problem in the pretty printer. It was not introducing quotes for attribute names such as |foo:10|. -- Fixed bug when using assumptions (Thanks to Philippe Suter) +- Fixed bug when using assumptions (Thanks to Philippe Suter and Etienne Kneuss) Consider the following example: (assert F) (check-sat a)