From 93c7a93c1b34dae53323445bd5e8393c19d2c7ab Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 31 Mar 2022 11:48:17 -0700 Subject: [PATCH] api: Remove warning for Sort::instantiate(). (#8475) --- src/api/cpp/cvc5.h | 2 -- src/api/java/io/github/cvc5/Sort.java | 2 -- src/api/python/cvc5.pxi | 3 --- 3 files changed, 7 deletions(-) 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 * * 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 """ -- 2.30.2