From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 3 Dec 2021 22:12:14 +0000 (-0800)
Subject: api: Fix docs for TUPLE_PROJECT. (#7741)
X-Git-Tag: cvc5-1.0.0~727
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2c3322f4ec4a0bf0e89034b38795c28dbc7cd9cb;p=cvc5.git

api: Fix docs for TUPLE_PROJECT. (#7741)
---

diff --git a/src/api/cpp/cvc5_kind.h b/src/api/cpp/cvc5_kind.h
index 73843f9b5..e465a8faa 100644
--- a/src/api/cpp/cvc5_kind.h
+++ b/src/api/cpp/cvc5_kind.h
@@ -2013,7 +2013,7 @@ enum Kind : int32_t
    * Operator for tuple projection indices
    *
    * Parameters:
-   *   - 1: The tuple projection indices
+   *   - 1: A vector of tuple projection indices.
    *
    * Create with:
    *   - `Solver::mkOp(Kind TUPLE_PROJECT, std::vector<uint32_t> param) const`