projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 29364b4)
api: Fix docs for TUPLE_PROJECT. (#7741)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 3 Dec 2021 22:12:14 +0000 (14:12 -0800)
committerGitHub <noreply@github.com>
Fri, 3 Dec 2021 22:12:14 +0000 (22:12 +0000)
src/api/cpp/cvc5_kind.h patch | blob | history

diff --git a/src/api/cpp/cvc5_kind.h b/src/api/cpp/cvc5_kind.h
index 73843f9b54a64b75c49abbbabc77addb65b9589e..e465a8faaba40549b648a1c0d0ac8f58b7e1c58d 100644 (file)
--- 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`