From cd59ef57e22ed6165d923a10c6c33d191329c425 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 30 Mar 2022 17:17:20 -0700
Subject: [PATCH] api: Remove isUninterpretedSortParameterized from header
 file. (#8470)

Method was removed in #8425.
---
 src/api/cpp/cvc5.h | 7 -------
 1 file changed, 7 deletions(-)

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 --------------------------------- */
 
   /**
-- 
2.30.2