let's increase against factory

diff --git a/VERSION.cmake b/VERSION.cmake
index 7f1900e070e31e63d604e596a6753792d6e89a36..ac24ba49291a815f3b6adada59b31ac16e23d01f 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,5 +46,5 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "9")
+SET(LIBSATSOLVER_PATCH "10")