From 72f495a4aabe7d129c3614c594b1b8f144e50931 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 2 Feb 2022 19:24:43 -0800 Subject: [PATCH] api: Remove obsolete function declaration in Cython bindings. (#8032) --- src/api/python/cvc5.pxd | 1 - 1 file changed, 1 deletion(-) 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 + -- 2.30.2