From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 9 Dec 2021 06:02:10 +0000 (-0800)
Subject: api: Add note to Sort::getTesterCodomainSort(). (#7776)
X-Git-Tag: cvc5-1.0.0~695
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5429a0bc6d0fc041e1a70966dee40e530862fb86;p=cvc5.git

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

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index e40a4f721..9899e346e 100644
--- 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;