From 036ea9daffb9a181f305620f7c6d7cd1173f1cfe Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Wed, 21 Feb 2024 09:02:52 +0100
Subject: [PATCH] update changes and bump version

---
 CHANGES.md         | 4 ++++
 libclingo/clingo.h | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 5c53446b4..915ed6910 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,9 @@
 # Changes
 
+## clingo 5.7.2
+
+  * fix cffi issues with python 3.12
+
 ## clingo 5.7.1
 
   * fix comparison of theory elements (#485)
diff --git a/libclingo/clingo.h b/libclingo/clingo.h
index 60ffe036f..23ccd76de 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 1
+#define CLINGO_VERSION_REVISION 2
 //! String representation of version.
-#define CLINGO_VERSION "5.7.1"
+#define CLINGO_VERSION "5.7.2"
 
 //! Signed integer type used for aspif and solver literals.
 typedef int32_t clingo_literal_t;