diff options
Diffstat (limited to 'src/api/cpp/cvc5_kind.h')
-rw-r--r-- | src/api/cpp/cvc5_kind.h | 2 |
1 files changed, 1 insertions, 1 deletions
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` |