From 96ca03482c0d89e423a1b36018918564995c8872 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 3 Jan 2022 13:08:53 -0800
Subject: [PATCH] api: Remove redundant check in Sort::toString(). (#7863)

---
 src/api/cpp/cvc5.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp
index be5f1017d..423b09cec 100644
--- 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;
-- 
2.30.2