api: Remove redundant check in Sort::toString(). (#7863)

diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp
index be5f1017dd181e3a20de5398a5dc8c3836265eff..423b09cec018f47ffd60697075356df457c6580d 100644 (file)
--- a/src/api/cpp/cvc5.cpp
+++ b/src/api/cpp/cvc5.cpp
@@ -1468,10 +1468,6 @@ std::string Sort::toString() const
 {
   CVC5_API_TRY_CATCH_BEGIN;
   //////// all checks before this line
-  if (d_solver != nullptr)
-  {
-    return d_type->toString();
-  }
   return d_type->toString();
   ////////
   CVC5_API_TRY_CATCH_END;