From: Andrey Andreyevich Bienkowski <hexagon-recursion@posteo.net>
Date: Thu, 28 Apr 2022 01:22:03 +0000 (+0000)
Subject: Fix PyUnicode_AsWideCharString signature (#8522)
X-Git-Tag: cvc5-1.0.1~212
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=92c7bc3f4688e39ed691678c80f06f7760a3299f;p=cvc5.git

Fix PyUnicode_AsWideCharString signature (#8522)

Add proper exception specification to the `PyUnicode_AsWideCharString` signature.
---

diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi
index 4a344316c..0743bc219 100644
--- a/src/api/python/cvc5.pxi
+++ b/src/api/python/cvc5.pxi
@@ -42,7 +42,7 @@ from cvc5types cimport RoundingMode as c_RoundingMode
 from cvc5types cimport UnknownExplanation as c_UnknownExplanation
 
 cdef extern from "Python.h":
-    wchar_t* PyUnicode_AsWideCharString(object, Py_ssize_t *)
+    wchar_t* PyUnicode_AsWideCharString(object, Py_ssize_t *) except NULL
     object PyUnicode_FromWideChar(const wchar_t*, Py_ssize_t)
     void PyMem_Free(void*)