From d722fb1708ee110ad173826aadbdc2710b2789c4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 16 Jul 2026 15:39:57 -0700
Subject: [PATCH] update release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 669dfec8a..361f7a1d9 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,7 +1,7 @@
 RELEASE NOTES
 
 
-Version 4.17.0
+Version 5.0.0
 ==============
 - A FiniteSets theory solver
   FiniteSets is a theory with a sort (FiniteSet S) for base sort S.