api: Remove isUninterpretedSortParameterized from header file. (#8470)

Method was removed in #8425.

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index d3b8fab56b7f4e6454e0e5a000f2a2b1d140707b..2f6161112d4772fdddd976bc12a00c0a6bbe1acb 100644 (file)
--- a/src/api/cpp/cvc5.h
+++ b/src/api/cpp/cvc5.h
@@ -759,13 +759,6 @@ class CVC5_EXPORT Sort
    */
   Sort getSequenceElementSort() const;
 
-  /* Uninterpreted sort -------------------------------------------------- */
-
-  /**
-   * @return true if an uninterpreted sort is parameterized
-   */
-  bool isUninterpretedSortParameterized() const;
-
   /* Uninterpreted sort constructor sort --------------------------------- */
 
   /**