From 448141d00c3eea474a32fc28c6837e74c5008af7 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Fri, 16 Feb 2024 09:24:46 +0100
Subject: [PATCH] bump version

---
 libclingo/clingo.h | 4 ++--
 setup.py           | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/libclingo/clingo.h b/libclingo/clingo.h
index 5aba8e409..60ffe036f 100644
--- 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
index 49ea219bc..0e4c62c46 100644
--- 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('''\