bump version

potassco · Feb 16, 2024 · 448141d · 448141d
1 parent 28f7210
commit 448141d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/libclingo/clingo.h b/libclingo/clingo.h
@@ -113,9 +113,9 @@ extern "C" {
 //! Minor version number.
 #define CLINGO_VERSION_MINOR 7
 //! Revision number.
-#define CLINGO_VERSION_REVISION 0
+#define CLINGO_VERSION_REVISION 1
 //! String representation of version.
-#define CLINGO_VERSION "5.7.0"
+#define CLINGO_VERSION "5.7.1"
 
 //! Signed integer type used for aspif and solver literals.
 typedef int32_t clingo_literal_t;

diff --git a/setup.py b/setup.py
@@ -7,7 +7,7 @@
     site.ENABLE_USER_SITE = True
 
 setup(
-    version = '5.7.0',
+    version = '5.7.1',
     name = 'clingo',
     description = 'CFFI-based bindings to the clingo solver.',
     long_description = dedent('''\