From 63a16daaba4b997ea482075a40fac934576c74b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 19 Jan 2026 13:35:55 -0800
Subject: [PATCH] Update RELEASE_NOTES.md for version 4.15.5

Added release notes for version 4.15.5.
---
 RELEASE_NOTES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 1efabaea6..791a34be7 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -6,6 +6,9 @@ Version 4.next
   - sat.euf 
     - CDCL core for SMT queries. It extends the SAT engine with theory solver plugins.
   - add global incremental pre-processing for the legacy core.
+ 
+Version 4.15.5
+==============
 
 Version 4.15.4
 ==============