api: Remove obsolete function declaration in Cython bindings. (#8032)

diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd
index 3d471817df9a8466969e51d69ce39178ccd2af5f..bf988dda069b959f3cc43bf05d550e839e434b84 100644 (file)
--- a/src/api/python/cvc5.pxd
+++ b/src/api/python/cvc5.pxd
@@ -241,7 +241,6 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api":
         Term mkFloatingPointPosZero(uint32_t exp, uint32_t sig) except +
         Term mkFloatingPointNegZero(uint32_t exp, uint32_t sig) except +
         Term mkRoundingMode(RoundingMode rm) except +
-        Term mkAbstractValue(const string& index) except +
         Term mkFloatingPoint(uint32_t exp, uint32_t sig, Term val) except +
         Term mkCardinalityConstraint(Sort sort, int32_t index) except +
         Term mkConst(Sort sort, const string& symbol) except +