From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 31 Mar 2022 18:48:17 +0000 (-0700)
Subject: api: Remove warning for Sort::instantiate(). (#8475)
X-Git-Tag: cvc5-1.0.0~88
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=93c7a93c1b34dae53323445bd5e8393c19d2c7ab;p=cvc5.git

api: Remove warning for Sort::instantiate(). (#8475)
---

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index 30d0000d0..9882ede79 100644
--- a/src/api/cpp/cvc5.h
+++ b/src/api/cpp/cvc5.h
@@ -604,8 +604,6 @@ class CVC5_EXPORT Sort
    *
    * Create sort parameters with Solver::mkParamSort().
    *
-   * @warning This method is experimental and may change in future versions.
-   *
    * @param params the list of sort parameters to instantiate with
    * @return the instantiated sort
    */
diff --git a/src/api/java/io/github/cvc5/Sort.java b/src/api/java/io/github/cvc5/Sort.java
index fcd287ce9..d42313751 100644
--- a/src/api/java/io/github/cvc5/Sort.java
+++ b/src/api/java/io/github/cvc5/Sort.java
@@ -412,8 +412,6 @@ public class Sort extends AbstractPointer implements Comparable<Sort>
    *
    * Create sorts parameter with Solver.mkParamSort().
    *
-   * @apiNote This method is experimental and may change in future versions.
-   *
    * @param params the list of sort parameters to instantiate with
    * @return the instantiated sort
    */
diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi
index 24f6f23b5..46d2a284a 100644
--- a/src/api/python/cvc5.pxi
+++ b/src/api/python/cvc5.pxi
@@ -2944,9 +2944,6 @@ cdef class Sort:
             constructor sort.
             Create sorts parameter with :py:meth:`Solver.mkParamSort()`
 
-            .. warning:: This method is experimental and may change in future
-                         versions.
-
             :param params: the list of sort parameters to instantiate with
             :return: the instantiated sort
         """