projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e24c2) | patch
Fix PyUnicode_AsWideCharString signature (#8522)
authorAndrey Andreyevich Bienkowski <hexagon-recursion@posteo.net>
Thu, 28 Apr 2022 01:22:03 +0000 (01:22 +0000)
committerGitHub <noreply@github.com>
Thu, 28 Apr 2022 01:22:03 +0000 (01:22 +0000)
commit92c7bc3f4688e39ed691678c80f06f7760a3299f
tree4a41f2338ad072805f291e4d47720238083ac057tree
parent25e24c210bdf0157e0f95c257ec3516bc57d7a1bcommit | diff
Fix PyUnicode_AsWideCharString signature (#8522)

Add proper exception specification to the `PyUnicode_AsWideCharString` signature.
src/api/python/cvc5.pxi diff | blob | history