From 92c7bc3f4688e39ed691678c80f06f7760a3299f Mon Sep 17 00:00:00 2001 From: Andrey Andreyevich Bienkowski Date: Thu, 28 Apr 2022 01:22:03 +0000 Subject: [PATCH] Fix PyUnicode_AsWideCharString signature (#8522) Add proper exception specification to the `PyUnicode_AsWideCharString` signature. --- src/api/python/cvc5.pxi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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*) -- 2.30.2