From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 4 Apr 2022 21:13:12 +0000 (-0700)
Subject: python api: More fixes. (#8556)
X-Git-Tag: cvc5-1.0.0~20
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=acbae93972405eea9833ae2ac7e2e3b2b383428a;p=cvc5.git

python api: More fixes. (#8556)
---

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 <cvc5.Kind.APPLY_CONSTRUCTOR>`.
+            :py:obj:`APPLY_CONSTRUCTOR <Kind.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 <cvc5.Kind.APPLY_SELECTOR>`.
+            :py:obj:`APPLY_SELECTOR <Kind.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 <cvc5.Kind.APPLY_UPDATER>`.
+            :py:obj:`APPLY_UPDATER <Kind.APPLY_UPDATER>`.
 
             :return: The updater term of this datatype selector.
         """