diff options
Diffstat (limited to 'src/api/python/genkinds.py.in')
-rw-r--r-- | src/api/python/genkinds.py.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/python/genkinds.py.in b/src/api/python/genkinds.py.in index 46bf2b45e..0c800d787 100644 --- a/src/api/python/genkinds.py.in +++ b/src/api/python/genkinds.py.in @@ -40,13 +40,13 @@ PYCOMMENT = '#' CDEF_KIND = " cdef Kind " KINDS_PXD_TOP = \ -r"""cdef extern from "api/cvc4cppkind.h" namespace "CVC5::api": +r"""cdef extern from "api/cvc4cppkind.h" namespace "cvc5::api": cdef cppclass Kind: pass # Kind declarations: See cvc4cppkind.h for additional information -cdef extern from "api/cvc4cppkind.h" namespace "CVC5::api::Kind": +cdef extern from "api/cvc4cppkind.h" namespace "cvc5::api::Kind": """ KINDS_PXI_TOP = \ |