diff options
Diffstat (limited to 'src/api/python/cvc4.pxd')
-rw-r--r-- | src/api/python/cvc4.pxd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/python/cvc4.pxd b/src/api/python/cvc4.pxd index 8072dbfa7..213372892 100644 --- a/src/api/python/cvc4.pxd +++ b/src/api/python/cvc4.pxd @@ -14,7 +14,7 @@ cdef extern from "<iostream>" namespace "std": ostream cout -cdef extern from "api/cpp/cvc5.h" namespace "CVC4": +cdef extern from "api/cpp/cvc5.h" namespace "cvc5": cdef cppclass Options: pass |