From acbae93972405eea9833ae2ac7e2e3b2b383428a Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 4 Apr 2022 14:13:12 -0700 Subject: [PATCH] python api: More fixes. (#8556) --- src/api/python/cvc5.pxi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index 5047efb9b..84e92f6eb 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -267,7 +267,7 @@ cdef class DatatypeConstructor: (:py:meth:`Sort.isDatatypeConstructor()`). All datatype constructors, including nullary ones, should be used as the first argument to Terms whose kind is - :py:obj:`APPLY_CONSTRUCTOR `. + :py:obj:`APPLY_CONSTRUCTOR `. For example, the nil list can be constructed via ``Solver.mkTerm(APPLY_CONSTRUCTOR, [nil])``, where nil is the Term returned by this method. @@ -526,7 +526,7 @@ cdef class DatatypeSelector: Selector terms are a class of function-like terms of selector sort (:py:meth:`Sort.isDatatypeSelector()`), and should be used as the first argument of Terms of kind - :py:obj:`APPLY_SELECTOR `. + :py:obj:`APPLY_SELECTOR `. :return: The selector term of this datatype selector. """ @@ -541,7 +541,7 @@ cdef class DatatypeSelector: Similar to selectors, updater terms are a class of function-like terms of updater Sort (:py:meth:`Sort.isDatatypeUpdater()`), and should be used as the first argument of Terms of kind - :py:ob:`APPLY_UPDATER `. + :py:obj:`APPLY_UPDATER `. :return: The updater term of this datatype selector. """ -- 2.30.2