bumped version

Armin Biere · Armin Biere · commit 4b4ff194b1ba · 2023-10-03T02:12:55.000+09:00
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.7.3
+1.7.5
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#define VERSION "1.7.3"
+#define VERSION "1.7.5"
 #endif // VERSION
 #endif // NBUILD
 
