From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 3 Jan 2022 21:08:53 +0000 (-0800)
Subject: api: Remove redundant check in Sort::toString(). (#7863)
X-Git-Tag: cvc5-1.0.0~617
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=96ca03482c0d89e423a1b36018918564995c8872;p=cvc5.git

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

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;