api: Fix documentation for UNINTERPRETED_SORT_VALUE kind. (#8330)

diff --git a/src/api/cpp/cvc5_kind.h b/src/api/cpp/cvc5_kind.h
index e4ddcaa0031c7fb3c2e6300619aaa372ec639537..414b0c093b5a6920266172cc2936b552e9a8645f 100644 (file)
--- a/src/api/cpp/cvc5_kind.h
+++ b/src/api/cpp/cvc5_kind.h
@@ -64,14 +64,11 @@ enum Kind : int32_t
   /* Builtin --------------------------------------------------------------- */
 
   /**
-   * Abstract value.
+   * The value of an uninterpreted constant.
    *
-   * Parameters:
-   *   - 1: Index of the abstract value
-   *
-   * Create with:
-   *   - `Solver::mkUninterpretedSortValue(const std::string& index) const`
-   *   - `Solver::mkUninterpretedSortValue(uint64_t index) const`
+   * @note May be returned as the result of an API call, but terms of this kind
+   *       may not be created explicitly via the API. Terms of this kind may
+   *       further not appear in assertions.
    */
   UNINTERPRETED_SORT_VALUE,
 #if 0