updated version

arminbiere · Feb 28, 2024 · 1462073 · 1462073
1 parent ad17c47
commit 1462073
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,9 @@
+Version 1.9.5
+-------------
+
+- Removes an unexpected performance regression on the anniversary track
+  due to marking forward strengthened redundant clauses as used.
+
 Version 1.9.4
 -------------
 

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.9.5-rc.1
+1.9.5
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#define VERSION "1.9.5-rc.1"
+#define VERSION "1.9.5"
 #endif // VERSION
 #endif // NBUILD