bumped to release version

arminbiere · arminbiere · commit 307fcab4ee7e · 2023-06-24T16:10:37.000+02:00
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.6.0-rc.2
+1.6.0
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#define VERSION "1.6.0-rc.2"
+#define VERSION "1.6.0"
 #endif // VERSION
 #endif // NBUILD
 
