update changes and bump version

potassco · Feb 21, 2024 · 036ea9d · 036ea9d
1 parent 9cafb1c
commit 036ea9d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git 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
@@ -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;