updated internal version

arminbiere · Dec 18, 2023 · 3d346f7 · 3d346f7
1 parent 082b2c6
commit 3d346f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#define VERSION "1.9.2"
+#define VERSION "1.9.3"
 #endif // VERSION
 #endif // NBUILD