From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 31 Mar 2022 00:17:20 +0000 (-0700)
Subject: api: Remove isUninterpretedSortParameterized from header file. (#8470)
X-Git-Tag: cvc5-1.0.0~112
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd59ef57e22ed6165d923a10c6c33d191329c425;p=cvc5.git

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 d3b8fab56..2f6161112 100644
--- 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 --------------------------------- */
 
   /**