From b7d5add9c49e8aa8fe7e782797c5db36ae418d29 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 10 Aug 2025 14:24:03 -0700 Subject: [PATCH] Update RELEASE_NOTES.md --- RELEASE_NOTES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 0ea4230f6..78c5cddbf 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -14,7 +14,7 @@ Version 4.15.3 the callback signals that the instantiation should be discarded by the solver. The user propagator is then able to apply finer control over instantiations. It can also use this mechanism to delay instantiations. - +- Deprecate z3str3 Version 4.15.2 ==============