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

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index 30d0000d0466eb9bae006fb88d0d3e5a750ddc5f..9882ede7958004946b6f8507aaf738457a2edb08 100644 (file)
--- 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 fcd287ce907baac47c69a6c5bfbba8191617e083..d4231375158991e01cf2c26cc67503ffedd3d19c 100644 (file)
--- 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 24f6f23b5747504c8caef86fd7b9cf348e1371b0..46d2a284a1843c2eed5ccaff7e739dce1c456b28 100644 (file)
--- 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
         """