From 2c3322f4ec4a0bf0e89034b38795c28dbc7cd9cb Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 3 Dec 2021 14:12:14 -0800
Subject: [PATCH] api: Fix docs for TUPLE_PROJECT. (#7741)

---
 src/api/cpp/cvc5_kind.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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`
-- 
2.30.2