api: Add note to Sort::getTesterCodomainSort(). (#7776)

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index e40a4f721a92c0e0974f015284d3e0ad7dd84376..9899e346e8bc009fde796e02e3798ef940aab1cc 100644 (file)
--- a/src/api/cpp/cvc5.h
+++ b/src/api/cpp/cvc5.h
@@ -639,6 +639,9 @@ class CVC5_EXPORT Sort
 
   /**
    * @return the codomain sort of a tester sort, which is the Boolean sort
+   *
+   * @note We mainly need this for the symbol table, which doesn't have
+   *       access to the solver object.
    */
   Sort getTesterCodomainSort() const;