From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 3 Feb 2022 03:24:43 +0000 (-0800)
Subject: api: Remove obsolete function declaration in Cython bindings. (#8032)
X-Git-Tag: cvc5-1.0.0~466
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=72f495a4aabe7d129c3614c594b1b8f144e50931;p=cvc5.git

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

diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd
index 3d471817d..bf988dda0 100644
--- 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 +