updated version

arminbiere · Jun 22, 2023 · 5b1de20 · 5b1de20
1 parent 41510f1
commit 5b1de20
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.5.4-rc.5
+1.5.4
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#  define VERSION "1.5.4-rc.5"
+#  define VERSION "1.5.4"
 #endif // VERSION
 #endif // NBUILD